Kyng, Morten. 1982. “Specification and Verification of Networks in a Petri Net Based Language”. DAIMI Report Series 11 (153). https://doi.org/10.7146/dpb.v11i153.7427.