Decidability Issues for Petri Nets

This is a survey of some decidability results for Petri nets, covering the last three decades. The presentation is structured around decidability of specific properties, various behavioural equivalences and finally the model checking problem for temporal logics

Modellierung, Integration und Analyse von Ressourcen in Geschäftsprozessen

Geschäftsprozess- und Ressourcenmodelle können bislang nur eingeschränkt zur Untersuchung des Ressourceneinsatzes genutzt werden, da relevante Eigenschaften nicht adäquat abgebildet werden. Aus diesem Grund wird in dieser Arbeit die Resource Modeling Language (RML) konzipiert und durch Ressourcen-Netze in die Geschäftsprozessmodellierung integriert. Zur Modellierung und Analyse wird das Werkzeug RAvEN konzipiert. Die Analyse des Ressourceneinsatzes erfolgt durch Simulationsexperimente

Modellierung, Integration und Analyse von Ressourcen in Geschäftsprozessen

Geschäftsprozess- und Ressourcenmodelle können bislang nur eingeschränkt zur Untersuchung des Ressourceneinsatzes genutzt werden, da relevante Eigenschaften nicht adäquat abgebildet werden. Aus diesem Grund wird in dieser Arbeit die Resource Modeling Language (RML) konzipiert und durch Ressourcen-Netze in die Geschäftsprozessmodellierung integriert. Zur Modellierung und Analyse wird das Werkzeug RAvEN konzipiert. Die Analyse des Ressourceneinsatzes erfolgt durch Simulationsexperimente

Musterbasierte Kontrollflusssemantik für Geschäftsprozessmodellierungssprachen

Die Bedeutung einzelner Symbole ist bei Geschäftsprozessmodellierungssprachen häufig nicht eindeutig festgelegt, wodurch Missverständnisse zwischen Domänenexperten und Modellierern gefördert werden. In dieser Arbeit wird eine auf Kontrollflussmustern basierende Methode zur Beschreibung der Kontrollflusssemantik von graphischen Geschäftsprozessmodellierungssprachen vorgestellt. Darüber hinaus werden die effiziente Anwendbarkeit und grundsätzliche Nützlichkeit der Methode aufgezeigt