Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna. Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs. In Catuscia Palamidessi, editor, CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings. Volume 1877 of Lecture Notes in Computer Science, pages 442-457, Springer, 2000. [doi]
Abstract is missing.