Transactions on Petri Nets and Other Models of Concurrency XVIIMaciej Koutny, Robin Bergenthum, Gianfranco Ciardo · First published 2023Open the Tome