Jensen, Kurt, et al. “Delta Semantics Defined by Petri Nets”. DAIMI Report Series, vol. 8, no. 95, Mar. 1979, doi:10.7146/dpb.v8i95.6511.