Jensen, K. Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. DPB 2002, 31.