Skip to main content
SpringerLink
Log in
Book cover

GI-4.Jahrestagung pp 316–325Cite as

Vermeidung von Verklemmungen in Bewerteten Petrinetzen

  • Chapter

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

Zusammenfassung

Unter den verschiedenen Hilfsmitteln zur Darstellung von kollateralen Vorgängen zeichnen sich Petrinetze in zweifacher Weise aus. Zum einen lassen sich mit ihnen häufig auftretende Situationen, wie der gegenseitige Ausschluß (engl.: mutual exclusion) oder das Erzeuger-Verbraucher-Problem, überzeugend einfach darstellen. Zum anderen eignen sie sich besonders für eine formale Behandlung von Fragestellungen aus dem Bereich der Koordination von kollateralen Prozessen.

Diese Arbeit ist im Sonderforschungsbereich 49 — Elektronische Rechenanlagen und Informationsverarbeitung — in München entstanden.

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   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   49.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. Computation Stuctures Group: Progress Report 1969–70, Memo 53–1, MIT, 1972 Progress Report 1970–71, Memo 64, MIT, 1972 Progress Report, Memo 77, MIT, 1973

    Google Scholar 

  2. Genrich, H.J.; Lautenbach, K.: Synchronisationsgraphen. Acta Informatica 2, 143–161, 1973

    Article  MathSciNet  MATH  Google Scholar 

  3. Kuhn, H.W.; Tucker, A.W. (Eds.): Linear Inequalities and Related Systems. Annals of Mathematics Studies, No. 38, 1956

    Google Scholar 

  4. Lautenbach, K.: Exakte Bedingungen der Lebendigkeit für eine Klasse von Petri-Netzen. Gesellschaft für Mathematik und Datenverarbeitung, Bericht Nr. 82, Bonn, 1973

    Google Scholar 

  5. Schroff, R.: Vermeidung von totalen Verklemmungen in bewerteten Petrinetzen. Dissertation, Technische Universität München Fakultät für Allgemeine Wissenschaften, 1974

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Mathematisches Institut, Technischen Universität München, Deutschland

    R. Schroff

Authors
  1. R. Schroff
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Automatentheorie und Formale Sprachen, Fachbereich Kybernetik, Technische Universität Berlin, Otto-Suhr-Allee 18/20, 1 Berlin 10, Deutschland

    Dirk Siefkes

Rights and permissions

Reprints and permissions

Copyright information

© 1975 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Schroff, R. (1975). Vermeidung von Verklemmungen in Bewerteten Petrinetzen. In: Siefkes, D. (eds) GI-4.Jahrestagung. Lecture Notes in Computer Science, vol 26. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-40087-6_27

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-40087-6_27

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-39104-4

  • Online ISBN: 978-3-662-40087-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation