In: Annales de la Société Scientifique de Bruxelles, Vol. 102, No. 4, pages 121-140. 1988.
Abstract: This paper gives the rule for translation of a coloured Petri net into a ``classical'' place/transition net which can be more easily analyzed. Then, an algorithm performing this translation is sketched.
Keywords: coloured net; translation into P/T net; place/transition net.