Benwell G, MacDonell S. Assessing the Graphical and Algorithmic Structure of Hierarchical Coloured Petri Net Models. AJIS [Internet]. 1994 Sept. 15 [cited 2025 Dec. 7];2(1). Available from: https://ajis.aaisnet.org/index.php/ajis/article/view/412