Reasoning on Labelled Petri Nets and Their Dynamics in a Stochastic Setting

Leemans, Sander Jacobus Johannes (Corresponding author); Maggi, Fabrizio Maria; Montali, Marco

Cham : Springer (2022)
Contribution to a book, Contribution to a conference proceedings

In: Business process management : 20th International Conference, BPM 2022, Münster, Germany, September 11-16, 2022, proceedings / Claudio Di Ciccio, Remco Dijkman, Adela Del-Río-Ortega, Stefanie Rinderle-Ma (eds.)
Page(s)/Article-Nr.: 324-342