Koutny, M.2022-03-022022-03-022019978-3-662-60650-6978-3-662-60651-3https://publica.fraunhofer.de/handle/publica/166554Transactions on Petri Nets and Other Models of Concurrency XIV