Return to Article Details Analysing Coloured Petri Nets by the Occurrence Graph Method Download Download PDF