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]

Authors

Javier Esparza

This author has not been identified. Look up 'Javier Esparza' in Google

Philipp Hoffmann

This author has not been identified. Look up 'Philipp Hoffmann' in Google

Ratul Saha

This author has not been identified. Look up 'Ratul Saha' in Google