K. Jensen, “Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools”, DPB, bd. 31, nr. 560, aug. 2002.