Return to Article Details The Symmetry Method for Coloured Petri Nets Download Download PDF