S. Christensen and L. O. Jepsen, “Modelling and Simulation of a Network Management System using Hierarchical Coloured Petri Nets: Extended version”, DPB, vol. 20, no. 349, Oct. 1994.