B. Lindstrøm, “Facilitating the Practical Use of Coloured Petri Nets”, DPB, bd. 31, nr. 562, aug. 2002.