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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.