Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs