Semantics and analysis of business process models in BPMN
A Process Semantics for BPMN