Petri Nets and other models of concurrency - ICATPN 2007 : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 25-29, 2007 : proceedings - Kleijn, Jetty; Yakovlev, Alex (Lecture notes in computer science ;, 2007)