Transactions on Petri Nets and Other Models of Concurrency XII - Koutny; Kleijn, Jetty; Penczek, Wojciech; Zhang, Mingmin (Springer Berlin Heidelberg, 2017)