BENWELL, G.; MACDONELL, S. Assessing the Graphical and Algorithmic Structure of Hierarchical Coloured Petri Net Models. Australasian Journal of Information Systems, v. 2, n. 1, 11.