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