G. Benwell and S. MacDonell, “Assessing the Graphical and Algorithmic Structure of Hierarchical Coloured Petri Net Models”, AJIS, vol. 2, no. 1, Sep. 1994.