Tel-Aviv University, Technical Report No. 133/89, 1989.
Also in: Lecture Notes in Computer Science, Vol. 363: Logic at Botik'89, Proc. of the Symposium on Logical Foundations of Computer Science, pages 146-162. Springer-Verlag, 1989.
Abstract: The paper examines situations where for a given system there is a strong intuition and a general consensus about its interleaving behavior but the inherently causal aspects of behavior are still to be discerned. As an application to the theory one aims at a better understanding of the semantics of Place-Transition systems.
Back to the Petri Nets Bibliography