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)
Buchbeitrag, Beitrag zu einem Tagungsband

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.)
Seite(n)/Artikel-Nr.: 324-342