K. Jensen, M. Kyng, and O. L. Madsen, “A Petri Net Definition of a System Description Language”, DPB, vol. 8, no. 96, Nov. 1981.