K. Jensen, M. Kyng, and O. L. Madsen, “Delta Semantics Defined by Petri Nets”, DPB, vol. 8, no. 95, Mar. 1979.