L. M. Kristensen, “State Space Methods for Coloured Petri Nets”, DPB, vol. 29, no. 546, Mar. 2000.