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...     »