In: Brauer, W.; Reisig, W.; Rozenberg, G.: Lecture Notes in Computer Science, Vol. 255: Petri Nets: Applications and Relationships to Other Models of Concurrency, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, September 1986, pages 325-392. Springer-Verlag, 1987.
Also as: Technical Report No. 95. University of Cambridge, Computer Laboratory, 1986.