Skip to main content
SpringerLink
Log in

Compositional semantics of pure place/transition systems

  • Conference paper
  • First Online:
Book cover Advances in Petri Nets 1988 (APN 1987)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 340))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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–245

    Google Scholar 

  2. Gischer,J.: Partial Orders and the Axiomatic Theory of Shuffle,Ph.D. Thesis, Computer Science Dept., Stanford University, (preprint) (1984)

    Google Scholar 

  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–498

    Google Scholar 

  4. Mazurkiewicz,A.: Concurrent Program Schemes and Their Interpretations, Aarhus University, Comp. Sci. Dept., Preprint DAIMI PB-78, (1977)

    Google Scholar 

  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–133

    Google Scholar 

  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–375

    Google Scholar 

  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. 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. Reisig,W.: Petri Nets, EATCS Monographs on Theoretical Computer Science, Vol.4, Springer Publ. Comp. (1985)

    Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. Institute of Computer Science of PAS Concurrency Theory Group, P.O.Box 22, PL-00-901, Warszawa PKiN

    Antoni Mazurkiewicz

Authors
  1. Antoni Mazurkiewicz
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mazurkiewicz, A. (1988). Compositional semantics of pure place/transition systems. In: Rozenberg, G. (eds) Advances in Petri Nets 1988. APN 1987. Lecture Notes in Computer Science, vol 340. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50580-6_35

Download citation

  • DOI: https://doi.org/10.1007/3-540-50580-6_35

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-50580-8

  • Online ISBN: 978-3-540-46059-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation