Christensen, S.; Jepsen, L. O. Modelling and Simulation of a Network Management System Using Hierarchical Coloured Petri Nets: Extended Version. DPB 1994, 20.