Formal Semantics and Analysis of BPMN Process Models using Petri Nets
Formalization and Verification of Event-driven Process Chains