Detecting Data-Flow Errors in BPMN 2.0
The Application of Petri Nets to Workflow Management