Application and Theory of Petri Nets and ConcurrencySusanna Donatelli, Stefan Haar · First published 2019Open the Tome
