No. 349 (1991): PB-349 Modelling and Simulation of a Network Management System using Hierarchical Coloured Petri Nets: Extended version