@inproceedings{ballarini2020emergency,
  author    = {Ballarini, Paolo and Duma, Davide and Horv{\'a}th, Andr{\'a}s and Aringhieri, Roberto},
  title     = {Petri Nets Validation of Markovian Models of Emergency Department Arrivals},
  booktitle = {Application and Theory of Petri Nets and Concurrency (PETRI NETS)},
  pages     = {219--238},
  year      = {2020},
}