Return to Article Details Modelling and Simulation of a Network Management System using Hierarchical Coloured Petri Nets: Extended version Download Download PDF