Benwell, G.; MacDonell, S. Assessing the Graphical and Algorithmic Structure of Hierarchical Coloured Petri Net Models. AJIS 1994, 2.