Domain and event structure semantics for Petri nets with read and inhibitor arcs

Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna. Domain and event structure semantics for Petri nets with read and inhibitor arcs. Theoretical Computer Science, 323(1-3):129-189, 2004. [doi]

Abstract

Abstract is missing.