Felix Kossak

• A Rigorous Semantics for BPMN 2.0 Process Diagrams
• Hagenberg Business Process Modelling Method