Kurt Jensen Wil M. P. van der Aalst Jonathan Billington 5100 2008 http://dx.doi.org/10.1007/978-3-540-89287-8 978-3-540-89286-1 T. Petri Nets and Other Models of Concurrency Lecture Notes in Computer Science Springer db/journals/topnoc/topnoc1.html