Computing the concurrency threshold of sound free-choice workflow nets

Philipp J. Meyer, Javier Esparza, Hagen Völzer

Workflow graphs extend classical flow charts with concurrent fork and join nodes. They constitute the core of business processing languages such as BPMN or UML Activity Diagrams. T…