Polynomial Analysis Algorithms for Free Choice Probabilistic Workflow Nets

Javier Esparza, Philipp Hoffmann, Ratul Saha. Polynomial Analysis Algorithms for Free Choice Probabilistic Workflow Nets. In Gul Agha, Benny Van Houdt, editors, Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings. Volume 9826 of Lecture Notes in Computer Science, pages 89-104, Springer, 2016. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: