Semantics and analysis of business process models in BPMN
Formalization and Verification of Event-driven Process Chains