Transformation from EPC to BPMN
Formalization and Verification of Event-driven Process Chains