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