Formal Semantics and Analysis of BPMN Process Models using Petri Nets
A Process Semantics for BPMN