Jensen, K. Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN. DPB 1999, 28.