José-Manuel Colom, Jörg Desel Application and Theory of Petri Nets and Concurrency - Germany Springer 2013 ISBN: 978-3-642-38697-8 Subjects--Topical Terms: Application and Theory of Petri Nets and ConcurrencyComputer Science