A Rigorous Semantics for BPMN 2.0 Process Diagrams

Felix Kossak, Christa Illibauer, Verena Geist, Jan Kubovy, Christine Natschläger, Thomas Ziebermayr, Theodorich Kopetzky, Bernhard Freudenthaler, Klaus-Dieter Schewe. A Rigorous Semantics for BPMN 2.0 Process Diagrams. Springer, 2014. [doi]

Abstract

Abstract is missing.