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

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]

@inproceedings{LeemansMM22,
  title = {Reasoning on Labelled Petri Nets and Their Dynamics in a Stochastic Setting},
  author = {Sander J. J. Leemans and Fabrizio Maria Maggi and Marco Montali},
  year = {2022},
  doi = {10.1007/978-3-031-16103-2_22},
  url = {https://doi.org/10.1007/978-3-031-16103-2_22},
  researchr = {https://researchr.org/publication/LeemansMM22},
  cites = {0},
  citedby = {0},
  pages = {324-342},
  booktitle = {Business Process Management - 20th International Conference, BPM 2022, Münster, Germany, September 11-16, 2022, Proceedings},
  editor = {Claudio Di Ciccio and Remco M. Dijkman and Adela del-Río-Ortega and Stefanie Rinderle-Ma},
  volume = {13420},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-031-16103-2},
}