Transactions on Petri Nets and Other Models of Concurrency VI - Kurt Jensen, Wil M. Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Jetty Kleijn, Lars Michael Kristensen ((Lecture Notes in Computer Science))