Jensen, K.; Kyng, M.; Madsen, O. L. A Petri Net Definition of a System Description Language. DPB 1981, 8.