Petri Net SynthesisEric Badouel, Luca Bernardinello, Philippe Darondeau · First published 2015Open the Tome
Applications and Theory of Petri Nets 2005Gianfranco Ciardo, Philippe Darondeau · First published 2005Open the Tome