Kristensen, L. M. State Space Methods for Coloured Petri Nets. DPB 2000, 29.