Delta semantics defined by Petri nets | lit.salon