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

Paolo Baldan, Andrea Corradini, Ugo Montanari. Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs. Electronic Notes in Theoretical Computer Science, 127(2):5-28, 2005. [doi]

Abstract

Abstract is missing.