For the most recent entries see the Petri Nets Newsletter.

Discerning Causality in Interleaving Behavior.

Hirshfeld, J.; Rabinovich, A.; Trakhtenbrot, B.A.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography