L. Wells, “Performance Analysis using Coloured Petri Nets”, DPB, bd. 31, nr. 563, aug. 2002.