Application and Theory of Petri Nets and ConcurrencyDidier Buchs, Josep Carmona · First published 2021Open the Tome