Institute for Program Structures and Data Organization (IPD), Chair Prof. Böhm

Detecting Data-State Anomalies in BPMN 2.0