No. 541 (1999): PB-541 Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN.