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