Wil M. P. van der Aalst Transactions on Petri Nets and Other Models of Concurrency II - 2009 ISBN: 978-3-642-00899-3 Subjects--Topical Terms: Models and PrinciplesProgramming TechniquesSoftware EngineeringSoftware Engineering/Programming and Operating SystemsTheory of ComputationComputer Science