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]

Possibly Related Publications

The following publications are possibly variants of this publication: