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