User: Guest  Login
Original title:
Constraint-based Analysis of Distributed Systems 
Translated title:
Constraint-basierte Analyse verteilter Systeme 
Year:
2021 
Document type:
Dissertation 
Institution:
Fakultät für Informatik 
Advisor:
Esparza Estaun, Francisco Javier (Prof. Dr.) 
Referee:
Esparza Estaun, Francisco Javier (Prof. Dr.); Kučera, Antonín (Prof., Ph.D.) 
Language:
en 
Subject group:
DAT Datenverarbeitung, Informatik 
Keywords:
Petri nets, population protocols, workflow nets, verification 
Translated keywords:
Petrinetze, Populationsprotokolle, Workflownetze, Verifikation 
TUM classification:
DAT 500 
Abstract:
We develop constraint-based procedures to analyze safety, liveness and quantitative properties of certain models of distributed systems, especially Petri nets, population protocols and workflow nets. These procedures are incomplete in general, but have a lower complexity than the general problem and succeed on many practical instances or relevant subclasses of the model. We also show new complexity and decidability results for quantitative properties of workflow nets. 
Translated abstract:
Wir entwickeln Constraint-basierte Verfahren um Sicherheits-, Lebendigkeits- und quantitative Eigenschaften bestimmter Modelle verteilter Systeme, insbesondere Petrinetze, Populationsprotokolle und Workflownetze, zu untersuchen. Diese Verfahren sind im allgemeinen unvollständig, aber haben eine geringere Komplexität als das allgemeine Problem und sind erfolgreich auf vielen praktischen Instanzen oder relevanten Teilklassen des Modells. Wir zeigen auch neue Komplexitäts- und Entscheidbarkeitserge...    »
 
Oral examination:
16.07.2021 
File size:
4300906 bytes 
Pages:
187 
Last change:
01.09.2021