Jensen, K.; Kyng, M.; Madsen, O. L. Delta Semantics Defined by Petri Nets. DPB 1979, 8.