Application and Theory of Petri Nets 1999 door G. Goos, Susanna Donatelli & Jetty Kleijn