Return to Article Details Towards a Modular Analysis of Coloured Petri Nets Download Download PDF