Skip to main content
SpringerLink
Log in

Lebendigkeitsuntersuchungen spezieller Netzklassen

  • Chapter
Petrinetze

Part of the book series: Studienreihe Informatik ((STUDIENREIHE))

  • 75 Accesses

Zusammenfassung

In diesem Kapitel betrachten wir markierte Netze: spezielle, für viele Anwendungen ausreichende S/T-Netze. Lebendigkeitsuntersuchungen sind für solche Netze kaum einfacher als für S/T-Netze; es gibt jedoch Teilklassen, für die Kriterien zur Bestimmung von Lebendigkeit oder Beschränktheit bekannt sind. Solche Kriterien bilden den Hauptgegenstand dieses Kapitels.

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

Access this chapter

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 49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur zu Kapitel 7

a)Free Choice Netze

  1. M. Hack: Corrections to “Analysis of Production Schemata by Petri Nets” Computation Structures Group Note 17, Project MAC (Juni 1974). Das Deadlock/Trap-Kriterium für die Lebendigkeit von Free Choice Netzen wurde in eingeführt. Darauf basiert der Beweis in diesem Buch. Weitere Untersuchungen über Free Choice Netze sind:

    Google Scholar 

  2. E. Best, M.W. Shields: Some Equivalence Results for Free Choice Nets and Simple Nets and on the Periodicity of Live Free Choice Nets CAAP 83, 8th Colloquium on Trees in Algebra and Programming, L’Aquila, Lecture Notes in Computer Science 159, Springer-Verlag (1983), S. 141–154.

    MathSciNet  Google Scholar 

  3. K. Döpp: Zum Hackschen Wohlformungssatz für Free-Choice-Petrinetze EIK 19, 1/2 (1983), S. 3–15. Verallgemeinerungen des Lebendigkeitskriteriums für Free Choice Netze enthalten die folgenden beiden Studien:

    MATH  Google Scholar 

  4. M. Hack: Extended State Machine Allocatable Nets (ESMA)3 an Extension of Free Choice Petri Nets Results Computations Structures Group Memo 78, Project MAC, MIT Cambridge, Massachusetts (1973), revised as Memo 78–1 (1974)

    Google Scholar 

  5. W. Griese: Liveness in NSC-Petri Nets in: Discrete Structures and Algorithms, U. Pape (Hrsg.), Carl Hanser Verlag, München (1980). Mehr über Free Choice Netze enthalten

    Google Scholar 

  6. P.S. Thiagarajan, K. Voss: A Fresh Look at Free Choice Nets Arbeitspapiere der GMD Nr. 58, Oktober 1983

    Google Scholar 

  7. E. Best, K. Voss: Free Choice Systems have Home States Acta Informatica 21 (1984), S. 89–100. Ăhnliche Resultate über weitere Netzklassen enthält. “Bipolare Schemata” können als spezielle Klassen von Free Choice Netzen betrachtet werden:

    Article  MathSciNet  Google Scholar 

  8. H.J. Genrich, P.S. Thiagarajan: A Theory for Bipolar Synchronization Schemes Theoretical Computer Science 30 (1984), S. 241–318. Sie werden auch in [29] erwähnt.

    Article  MATH  MathSciNet  Google Scholar 

b)Synchronisationsgraphen

  1. H.J. Genrich: Das Zollstationenproblem Interner Bericht 6MD-I 5/69–01–15 und /71–10–13, Gesellschaft für Mathematik und Datenverarbeitung, Bonn (1969 und 1971)

    Google Scholar 

  2. unmittelbar gefolgt von

    Google Scholar 

  3. A.W. Holt, F. Commoner: Events & Conditions Applied Data Research, New York (1970).Unsere Beweise aus Abschnitt 7.3 stammen aus H. J. Genrichs Arbeit.Ausführlichere Untersuchungen enthalten und die folgenden Arbeiten:

    Google Scholar 

  4. F. Commoner, A.W. Holt, S. Even, A. Pnueli: Marked Directed Graphs Journal of Computer and System Sciences 5 (1981), S. 511–523

    Article  MathSciNet  Google Scholar 

  5. H.J. Genrich, K. Lautenbach: Synchronisationsgraphen Acta Informatica 2 (1973), S. 143–161.

    Article  MATH  MathSciNet  Google Scholar 

c) Weitere Netzklassen

  1. O. Herzog: Static Analysis of Concurrent Processes for Dynamic Properties Using Petri Nets Lecture Notes in Computer Science 70, Springer-Verlag (1979)

    Google Scholar 

  2. W. Reisig: Deterministic Buffer Synchronization of Sequential Processes. Acta Informatica 18 (1982), S. 117–134

    Article  MATH  MathSciNet  Google Scholar 

  3. K. Lautenbach, P.S. Thiagarajan: Analysis of a Resource Allocation Problem Using Petri Nets First European Conference on Distributed Processing, Toulouse, J. Syre (Hrsg.), S. 260–266

    Google Scholar 

  4. F. De Cindio, G. De Michelis, L. Pomello, C. Simone: Superposed Automata Nets in

    Google Scholar 

  5. Häufig wurde nach Netzklassen mit einfachen Entscheidungsverfahren für Lebendigkeit gesucht. In [8] werden sogenannte “simple” Netze eingeführt. Sie werden auch in untersucht. Landweber und Robertson [53] betrachten “konfliktfreie” Netze.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. GMD, Postfach 1240, Schloß Birlinghoven, 5205, St. Augustin, Deutschland

    Dr. Wolfgang Reisig

Authors
  1. Dr. Wolfgang Reisig
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Reisig, W. (1986). Lebendigkeitsuntersuchungen spezieller Netzklassen. In: Petrinetze. Studienreihe Informatik. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-71275-3_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-71275-3_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16622-1

  • Online ISBN: 978-3-642-71275-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation