Application and Theory of Petri Nets and Concurrency ISBN: 9783031066528 Application and Theory of Petri Nets and Concurrency (PTRE NETS 2022) Application and Theory of Petri Nets and Concurrency (PTRE NETS 2022), Jun 2022, Bergen, Norway. pp.175-194, ⟨10.1007/978-3-031-06653-5_10⟩