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