S. Christensen, J. B. Jørgensen, and L. M. Kristensen, “Design/CPN - A Computer Tool for Coloured Petri Nets”, DPB, vol. 26, no. 511, Feb. 1997.