A Process Semantics for BPMN
Formal semantics and automated analysis of BPMN process models