Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL
Formal Semantics and Analysis of BPMN Process Models using Petri Nets