Application and Theory of Petri Nets and ConcurrencyLuca Bernardinello, Laure Petrucci · First published 2022Open the Tome
Petri Net SynthesisEric Badouel, Luca Bernardinello, Philippe Darondeau · First published 2015Open the Tome
