Paolo Ballarini, Davide Duma, András Horváth, Roberto Aringhieri. Petri Nets Validation of Markovian Models of Emergency Department Arrivals. In Ryszard Janicki, Natalia Sidorova, Thomas Chatain, editors, Application and Theory of Petri Nets and Concurrency - 41st International Conference, PETRI NETS 2020, Paris, France, June 24-25, 2020, Proceedings. Volume 12152 of Lecture Notes in Computer Science, pages 219-238, Springer, 2020. [doi]
Abstract is missing.