Jensen, Kurt, and Morten Kyng. “Petri Nets and Semantics of System Descriptions”. DAIMI Report Series 9, no. 116 (April 1, 1980). Accessed May 9, 2024. https://tidsskrift.dk/daimipb/article/view/6534.