No. 579 (2006): PB-579 Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools