On the Semantics of Petri Nets

José Meseguer, Ugo Montanari, Vladimiro Sassone. On the Semantics of Petri Nets. In Rance Cleaveland, editor, CONCUR 92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings. Volume 630 of Lecture Notes in Computer Science, pages 286-301, Springer, 1992.

Abstract

Abstract is missing.