Transactions on Petri Nets and Other Models of Concurrency VII - Hutchison, David; Kanade, Takeo; Kittler, Josef; Balbo, Gianfranco ; Wolf, Karsten (Springer Berlin Heidelberg, 2013)