Computing the Concurrency Threshold of Sound Free-Choice Workflow Nets.

Philipp J. Meyer, Javier Esparza, Hagen Vlzer

Browse the full TACAS paper archive.