Transactions on Petri Nets and Other Models of Concurrency III - Jensen, Kurt; Billington, Jonathan; Kanade, Takeo; Koutny, Maciej (Springer Berlin Heidelberg, 2009)