Lehrstuhl für Systeme der Informationsverwaltung

Detecting Data-State Anomalies in BPMN 2.0