"Quantifying the parallelism in BPMN processes using model checking."

Radu Mateescu, Gwen Salaün, Lina Ye (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics