Advances in Petri nets, 1986 : proceedings of an advanced course, Bad Honnef 8-19, September 1986 / - Brauer, Wilfried.; Reisig, Wolfgang; Rozenberg, Grzegorz. (Springer-Verlag, 1987)