Recent advances in petri nets and concurrency - Donatelli, Susanna (2012)
CEUR Workshop Proceedings