"Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways."

David Raymond Christiansen, Marco Carbone, Thomas T. Hildebrandt (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics