Sander J. J. Leemans, Fabrizio Maria Maggi, Marco Montali. Reasoning on Labelled Petri Nets and Their Dynamics in a Stochastic Setting. In Claudio Di Ciccio, Remco M. Dijkman, Adela del-Río-Ortega, Stefanie Rinderle-Ma, editors, Business Process Management - 20th International Conference, BPM 2022, Münster, Germany, September 11-16, 2022, Proceedings. Volume 13420 of Lecture Notes in Computer Science, pages 324-342, Springer, 2022. [doi]
Abstract is missing.