Benwell, G. and MacDonell, S. 1994. Assessing the Graphical and Algorithmic Structure of Hierarchical Coloured Petri Net Models. Australasian Journal of Information Systems. 2, 1 (Sep. 1994). DOI:https://doi.org/10.3127/ajis.v2i1.412.