Kyng, M. Specification and Verification of Networks in a Petri Net Based Language. DPB 1982, 11.