Transactions on Petri Nets and Other Models of Concurrency XIIMaciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang₹4,225