Compositional semantics of pure place/transition systems

  • Antoni Mazurkiewicz
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 340)

Key words

Compositionality modularity concurrency pomsets algebras Petri nets semantics 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Best,E.: Concurrent Behaviour: Sequences, Processes and Axioms, Lecture Notes in Comp. Sci. 197, Proc. of Carnegie — Mellon Seminar on Concurrency, 1984, Springer Verlag (1985) 221–245Google Scholar
  2. [2]
    Gischer,J.: Partial Orders and the Axiomatic Theory of Shuffle,Ph.D. Thesis, Computer Science Dept., Stanford University, (preprint) (1984)Google Scholar
  3. [3]
    Grabowski, J.: On Partial Languages, Humboldt-Univ., Berlin, DDR, Sektion Math., Preprint Nr. 40.79, 1979 (also: Fund. Inform. Vol.4, No.1 (1981) 427–498Google Scholar
  4. [4]
    Mazurkiewicz,A.: Concurrent Program Schemes and Their Interpretations, Aarhus University, Comp. Sci. Dept., Preprint DAIMI PB-78, (1977)Google Scholar
  5. [5]
    Mazurkiewicz,A.: Traces, Histories, Graphs: Instances of a Process Monoid, Lecture Notes in Comp.Sci., vol.176: Proc. of Symp. Mathematical Foundations of Comp.Sci. 1984, Prague, Springer Verlag (1984) 115–133Google Scholar
  6. [6]
    Mazurkiewicz,A.: Semantics of Concurrent Systems: A Modular Fixed — Point Trace Approach, University of Leiden, Rep. no. 84–19, 1984 (also: Lecture Notes in Comp. Sci. vol 188: Advances in Petri Nets 1984, Rozenberg,G., (ed.), Springer-Verlag (1985) 353–375Google Scholar
  7. [7]
    Petri,C.A.: Concepts of Net Theory, Mathematical Foundations of Comp. Sci. 1973: Proceedings of Symposium and Summer School, High Tatras (1973)Google Scholar
  8. [8]
    Pratt,V.R.: The Pomset Model of Parallel Processes: Unifying the Temporal and the Spatial, Proc. CMU/SERC Workshop on Logics of Programs, Pitsburgh (1984)Google Scholar
  9. [9]
    Reisig,W.: Petri Nets, EATCS Monographs on Theoretical Computer Science, Vol.4, Springer Publ. Comp. (1985)Google Scholar
  10. [10]
    Winkowski,J.: Event Structure Representation of the Behaviour of Place / Transition Systems, to appear as preprint Inst. of Comp. Sci. of Polish Academy of Sciences, ICS PAS Rep.623 (1988)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Antoni Mazurkiewicz
    • 1
  1. 1.Institute of Computer Science of PAS Concurrency Theory GroupWarszawa PKiN

Personalised recommendations