Jensen, K., Kyng, M., & Madsen, O. L. (1979). Delta Semantics Defined by Petri Nets. DAIMI Report Series, 8(95). https://doi.org/10.7146/dpb.v8i95.6511