Transformation from EPC to BPMN
Formal Semantics and Analysis of BPMN Process Models using Petri Nets