Discerning causality in interleaving behavior

  • J. Hirshfeld
  • A. Rabinovich
  • B. A. Trakhtenbrot
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 363)


We examine situations where for a given system N there is a strong intuition and a general consensus about its interleaving behavior but the inherently causal aspects of the behavior are still to be discerned. As an application to the theory we aim at a better understanding of the semantics of Place-Transition systems.


Behavior Structure Step Sequence Finite Capacity Compositional Semantic Elementary Agent 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

7. References

  1. [BC]
    G. Boudol, I. Castelani, A non Interleaving Semantics for CCS based on Proved Transitions, Fundamenta Informatica 11(4) 1988.Google Scholar
  2. [BD]
    E. Best, R. Deviller Sequential and Concurrent Behavior in Petri Net Theory. TCS Vol 50Google Scholar
  3. [DNM]
    P. Degano, R. DeNicola, U. Montanari, A new operational semantics for CCS based on condition event systems. Nota Interna B4-42, Dept. of CS, Univ. Pisa 1986.Google Scholar
  4. [GR]
    U. Goltz, W. Reisig, The non Sequential Behaviour of Petri Nets, Information and Control 57 Nos 2–3 1983.Google Scholar
  5. [Ho]
    Hoare, C.A.R., Communicating sequential processes, Prentice Hall International, 1985.Google Scholar
  6. [LG]
    R. Loogen, U. Goltz, A non-interleaving semantic model for nondeterministic Concurrent Processes Tech. Rep. 87–15 Aachen, 1987.Google Scholar
  7. [Maz84]
    A. Mazurkiewicz, Semantics of Concurrent Systems: A modular fixed point Trace approach. In advances in Petri Nets 1984 LNCS 188.Google Scholar
  8. [Maz88]
    A. Mazurkiewicz, Compositional Semantics of Pure Place/Transition Systems, Fundamenta Informatica vol 11(4) 1988.Google Scholar
  9. [Mil]
    Milner, R., A calculi for Synchrony and Asynchrony, TCS 25, 1986Google Scholar
  10. [NPW]
    M. Nielsen, G. Plotkin, G. Winskel, Petri Nets, Event Structure and Domains, Part 1, TCS vol 13 No 1, 1980.Google Scholar
  11. [Old]
    E.-R. Olderog, Operational Petri Net Semantics for CCSP. In advances in Petri Nets 1987 LNCS 266.Google Scholar
  12. [Pet]
    C. A. Petri, Non-sequential Processes, Tech. Report ISF-77-05, GMD, 1977.Google Scholar
  13. [Re]
    W. Reisig, Place/Transition Systems. In Advances in Petri Nets 1986. LNCS 254. and their Properties.Google Scholar
  14. [RT]
    Rabinovich, A., Trakhtenbrot, B. A., Behavior Structures and Nets, Fundamenta Informatica 11(4) 1988Google Scholar
  15. [Th]
    P.S. Thiagarajan, Elementary Net Systems. In Advances in Petri Nets 1986. LNCS 254Google Scholar
  16. [TRH]
    Trakhtenbrot, B. A., Rabinovich, A., Hirshfeld, J, Nets of Processes, Technical Report 97/88 Tel Aviv Univ. 1988.Google Scholar
  17. [Win]
    Winkowski, J., Event Structure Representations of the Behaviour of Place/Transition Systems, Fundamenta Informatica 11(4) 1988.Google Scholar
  18. [W87]
    G. Winskel, Event Structures, in Petri Nets: Application and Relationship to Other Models of Concurrency, LNCS 255. 1987.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • J. Hirshfeld
    • 1
  • A. Rabinovich
    • 1
  • B. A. Trakhtenbrot
    • 1
  1. 1.School of Mathematical Sciences Raymond and Beverly Sackler Faculty of Exact SciencesTel-Aviv UniversityTel-AvivIsrael

Personalised recommendations