Madsen, Kim Halskov. “A Conceptual Framework for the Characterization of Petri Net Description Techniques”. DAIMI Report Series 13, no. 176 (May 1, 1984). Accessed February 5, 2026. https://tidsskrift.dk/daimipb/article/view/7451.