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