Return to Article Details State Space Methods for Coloured Petri Nets Download Download PDF