Petri Nets and Other Models of Concurrency - ICATPN 2006 - Donatelli, Susanna (Springer Berlin / Heidelberg, 2006)