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, 1, doi:10.3127/ajis.v2i1.412.