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]

@inproceedings{EsparzaHS16,
  title = {Polynomial Analysis Algorithms for Free Choice Probabilistic Workflow Nets},
  author = {Javier Esparza and Philipp Hoffmann and Ratul Saha},
  year = {2016},
  doi = {10.1007/978-3-319-43425-4_6},
  url = {http://dx.doi.org/10.1007/978-3-319-43425-4_6},
  researchr = {https://researchr.org/publication/EsparzaHS16},
  cites = {0},
  citedby = {0},
  pages = {89-104},
  booktitle = {Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings},
  editor = {Gul Agha and Benny Van Houdt},
  volume = {9826},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-43424-7},
}