Benwell G, MacDonell S. Assessing the Graphical and Algorithmic Structure of Hierarchical Coloured Petri Net Models. AJIS [Internet]. 1994Sep.15 [cited 2024Apr.25];2(1). Available from: https://journal.acs.org.au/index.php/ajis/article/view/412