Madsen KH. A Conceptual Framework for the Characterization of Petri Net Description Techniques. DPB [Internet]. 1984 May 1 [cited 2024 Apr. 20];13(176). Available from: https://tidsskrift.dk/daimipb/article/view/7451