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]

Authors

Paolo Baldan

This author has not been identified. Look up 'Paolo Baldan' in Google

Nadia Busi

This author has not been identified. Look up 'Nadia Busi' in Google

Andrea Corradini

This author has not been identified. Look up 'Andrea Corradini' in Google

G. Michele Pinna

This author has not been identified. Look up 'G. Michele Pinna' in Google