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