Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs.

Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna

Browse the full CONCUR paper archive.