Christensen, S., and L. O. Jepsen. “Modelling and Simulation of a Network Management System Using Hierarchical Coloured Petri Nets: Extended Version”. DAIMI Report Series, vol. 20, no. 349, Oct. 1994, doi:10.7146/dpb.v20i349.6579.