In: Informatik-Fachberichte 66: Application and Theory of Petri Nets, pages 229-249. Selected Papers from the Third European Workshop on Application and Theory of Petri Nets, Varenna, Italy, September 27--30, 1982 / Pagnoni, A.; Rozenberg, G. (eds.) --- Springer-Verlag, 1983.
Also in: Theoretical Computer Science 41, pages 185-213. 1985.