Hagenberg Business Process Modelling Method

A Rigorous Semantics for BPMN 2.0 Process Diagrams