Return to Article Details Coloured Petri Nets: A High Level Language for System Design and Analysis Download Download PDF