Nr. 562 (2002): PB-562 Facilitating the Practical Use of Coloured Petri Nets