Transactions on Petri Nets and Other Models of Concurrency XIII - Koutny; Lars Michael Kristensen; Wojciech Penczek; Kristensen, Lars Michael; Penczek, Wojciech (Springer Berlin Heidelberg, 2018)