Johan Lilius, Wojciech Penczek Applications and Theory of Petri Nets - Germany Springer 2010 ISBN: 978-3-642-13675-7 Subjects--Topical Terms: Applications and Theory of Petri NetsComputer Science