Univ. de Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique, U.A. au CNRS 410 ``Al Khowarizmi'', Bat. 490, 91405 Orsay Cedex (France), Rapport de Recherche No. 296, September 1986.
Also in: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 266: Advances in Petri Nets 1987, pages 224-237. Springer-Verlag, 1987.