Lars M. Kristensen, Laure Petrucci Applications and Theory of Petri Nets - Germany Springer 2011 ISBN: 978-3-642-21834-7 Subjects--Topical Terms: Applications and Theory of Petri NetsComputer Science