In: Lecture Notes in Computer Science, Vol. 1279: 11th International Symposium on Fundamentals of Computation Theory (FCT'97), pages 317-328. 1997.
Abstract: This paper is concerned with defining causal (non sequential) behavior of Petri nets via occurrence nets. Conventionally occurrence nets semantics is defined for contact-free Petri nets. E.Smith proposed non sequential semantics for nets with contacts. We present an alternative definition of occurrence nets semantic for nets with contacts, which gives a clear visual representation of concurrent process flow and maintains the correlation between causal and interleaving semantics of Petri nets.