Elgaard, L. The Symmetry Method for Coloured Petri Nets. DPB 2002, 31.