Skip to main content
SpringerLink
Log in
Book cover

Theoretische Informatik pp 245–292Cite as

Pomset- und Stepsprachen

  • Chapter

  • 171 Accesses

Part of the book series: Springer-Lehrbuch ((SLB))

Zusammenfassung

Bei Untersuchungen von Petri-Netzen mittels Feuersequenzen und Sprachen spricht man auch von Interleaving Modellen von Petri-Netzen, da die Nebenläufigkeit hier durch den Shuffle, ein Mischen von eigentlich nebenläufigem Verhalten, wiedergegeben wird. Betrachten wir dazu die beiden Petri-Netze N 1 und N 2 aus Abbildung 7.1 mit jeweils 0 als finalem Zustand.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literaturverzeichnis

  1. H.J. Genrich, K. Lautenbach, P.S. Thiagarajan: Elements of General Net Theory, Lecture Notes in Computer Science 84: Net Theory and Applications, pp. 21–164, 1979.

    Article  MathSciNet  Google Scholar 

  2. P.H. Starke: Processes in Petri Nets, Elektronische Informationsverarbeitung und Kybernetik 15, pp.389–416, (auch in Lecture Notes in Computer Science 117), 1981.

    Google Scholar 

  3. J. Grabowski: On Partial Languages, Annales Societatis Mathematicae Polonae, Fundaments Informaticae IV. 2, pp. 428–498. 1981.

    Google Scholar 

  4. V. Pratt: Modelling Concurrency with Partial Orders, International Journal of Parallel Programming 15, pp. 33–71, 1986.

    Article  MathSciNet  MATH  Google Scholar 

  5. H. Wimmel: Algebraische Semantiken für Petri-Netze ( Dissertation ). Universität Koblenz-Landau, 2000.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachbereich Informatik, Universität Koblenz-Landau, Rheinau 1, 56075, Koblenz, Deutschland

    Prof. Dr. Lutz Priese

  2. Fachbereich Informatik, Universität Oldenburg, Postfach 2503, 26111, Oldenburg, Deutschland

    Dr. Harro Wimmel

Authors
  1. Prof. Dr. Lutz Priese
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dr. Harro Wimmel
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Priese, L., Wimmel, H. (2003). Pomset- und Stepsprachen. In: Theoretische Informatik. Springer-Lehrbuch. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-10427-9_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-10427-9_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-44289-9

  • Online ISBN: 978-3-662-10427-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation