L. Wells, “Performance Analysis using Coloured Petri Nets”, DPB, vol. 31, no. 563, Aug. 2002.