Benwell, G., and S. MacDonell. “Assessing the Graphical and Algorithmic Structure of Hierarchical Coloured Petri Net Models”. Australasian Journal of Information Systems, vol. 2, no. 1, Sept. 1994, doi:10.3127/ajis.v2i1.412.