13: Aspirant F.N.R.S., Departement de Mathematique, F.N.D.P. Report No. 87. Namur, Belgique, 1987.
Abstract: This paper gives the rules for translation of a coloured Petri net ino a ``classical'' Petri net. Then, an algorithm performing this translation is described. A complete implementation of this algorithm in Fortran 77 is also given.