No. 570 (2004): PB-570 Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools