M. Kyng, “Specification and Verification of Networks in a Petri Net based Language”, DPB, vol. 11, no. 153, Oct. 1982.