No. 576 (2005): PB-576 Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools