Petri Nets and Other Models of Concurrency - ICATPN 2006 - Donatelli, Susanna; Kanade, Takeo; Thiagarajan, P. S.; Kittler, Josef (Springer Berlin / Heidelberg, 2006)