Transactions on Petri Nets and Other Models of Concurrency XIV - Koutny; Kristensen, Lars Michael; Pomello, Lucia (Springer Berlin Heidelberg, 2019)