Kyng, Morten. “Specification and Verification of Networks in a Petri Net Based Language”. DAIMI Report Series 11, no. 153 (October 1, 1982). Accessed February 5, 2026. https://tidsskrift.dk/daimipb/article/view/7427.