Jensen, Kurt, Morten Kyng, and Ole Lehrmann Madsen. “A Petri Net Definition of a System Description Language”. DAIMI Report Series 8, no. 96 (November 1, 1981). Accessed February 5, 2026. https://tidsskrift.dk/daimipb/article/view/6512.