Lindstrøm, B. Facilitating the Practical Use of Coloured Petri Nets. DPB 2002, 31.