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