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