Koutny, M.2022-03-022022-03-022021978-3-662-63078-5978-3-662-63079-2978-3-662-63080-8https://publica.fraunhofer.de/handle/publica/166991Transactions on Petri Nets and Other Models of Concurrency XV