Application and Theory of Petri NetsLars M. Kristensen, Laure Petrucci · First published 2011Open the Tome