In: Informatik-Fachberichte 66: Application and Theory of Petri Nets, pages 149-165. 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.