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.
Übersetzte Kurzfassung:
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 Entscheidbarkeitsergebnisse für quantitative Eigenschaften von Workflownetzen.
«
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...
»