Skip to main content
  • Textbook
  • © 2010

Petrinetze

Modellierungstechnik, Analysemethoden, Fallstudien

Authors:

  • Der anschauliche und fundierte Einstieg in die Petrinetze
  • Includes supplementary material: sn.pub/extras

Part of the book series: XLeitfäden der Informatik (XLINF)

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book USD 39.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

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

Table of contents (24 chapters)

  1. Front Matter

    Pages I-XVI
  2. Einleitung

    1. Einleitung

      • Wolfgang Reisig
      Pages 1-6
  3. Modellierungstechnik

    1. Front Matter

      Pages 7-7
    2. Ein Beispiel

      • Wolfgang Reisig
      Pages 9-20
    3. Die grundlegenden Konzepte

      • Wolfgang Reisig
      Pages 21-34
    4. Häufiger Spezialfall: Elementare Systemnetze

      • Wolfgang Reisig
      Pages 35-45
    5. Sequentielle und verteilte Abläufe

      • Wolfgang Reisig
      Pages 47-64
    6. Szenarienbasierte Systemnetze

      • Wolfgang Reisig
      Pages 65-71
    7. Das Syntheseproblem

      • Wolfgang Reisig
      Pages 81-90
    8. Komposition von Netzen

      • Wolfgang Reisig
      Pages 91-98
  4. Analysemethoden

    1. Front Matter

      Pages 99-99
    2. Zustandseigenschaften

      • Wolfgang Reisig
      Pages 101-116
    3. Fallen und Co-Fallen elementarer Systemnetze

      • Wolfgang Reisig
      Pages 117-121
    4. Platzinvarianten elementarer Systemnetze

      • Wolfgang Reisig
      Pages 123-130
    5. Markierungs- und Überdeckungsgraphen

      • Wolfgang Reisig
      Pages 151-160
    6. Erreichbarkeit in elementaren Systemnetzen

      • Wolfgang Reisig
      Pages 161-166
    7. Ablaufeigenschaften

      • Wolfgang Reisig
      Pages 167-177

About this book

Petrinetze haben sich als Modellierungstechnik für informatikbasierte Systeme durchgesetzt. Ihre anschauliche grafische Darstellung, kombiniert mit ausdrucksstarken Analysetechniken, machen sie bei Anwendern, Studierenden und Dozenten gleichermaßen beliebt.
Die Inhalte werden äußerst anschaulich dargestellt; nur zum präzisen Analysieren und Verifizieren wird formal argumentiert. Jedes Thema wird in seinem Kern behandelt; für Varianten, Zusätze und Alternativen wird auf die Literatur verwiesen. Weitere Hinweise, Lösungen der Übungsaufgaben, Diskussionsforen etc. stehen in digitaler Form bereit.

Inhalt
Grundlegende Konzepte und einfache Beispiele für Anfänger - Tiefer liegende Zusammenhänge für Studierende - Vorbildhafte Fallstudien und Analysen für Praktiker - Separierbare Themen und Aufgaben für Dozenten - Weiterführende Argumente für Experten anderer Modellierungstechniken

Zielgruppe
Studierende der Informatik an Universitäten und Fachhochschulen

Der Autor
Prof. Dr. Wolfgang Reisig, Humboldt-Universität zu Berlin

About the author

Prof. Dr. Wolfgang Reisig, Humboldt-Universität zu Berlin

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book USD 39.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access