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