Jensen, K., M. Kyng, and O. L. Madsen. “Delta Semantics Defined by Petri Nets”. DAIMI Report Series, vol. 8, no. 95, Mar. 1979, doi:10.7146/dpb.v8i95.6511.