Skip to main content
SpringerLink
Log in

Petrinetze

Eine Einführung

  • Textbook
  • © 1986

Overview

Authors:
  1. Wolfgang Reisig

    1. GMD, St. Augustin, Deutschland

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Studienreihe Informatik (STUDIENREIHE)

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

Access this book

Log in via an institution
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

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (10 chapters)

  1. Front Matter

    Pages I-IX
    Download chapter PDF

  2. Einleitung

    1. Einleitung

      • Wolfgang Reisig
      Pages 1-3

  3. Einführende Beispiele und grundlegende Definitionen

    1. Einführende Beispiele und grundlegende Definitionen

      • Wolfgang Reisig
      Pages 4-18

  4. Bedingungs/Ereignis-Systeme

    1. Netze aus Bedingungen und Ereignissen

      • Wolfgang Reisig
      Pages 19-35

    2. Prozesse auf Bedingungs/Ereignis-Systemen

      • Wolfgang Reisig
      Pages 36-51

    3. Systemeigenschaften

      • Wolfgang Reisig
      Pages 52-68

  5. Stellen/Transitionen-Netze

    1. Front Matter

      Pages 69-69
      Download chapter PDF

    2. Netze aus Stellen und Transitionen

      • Wolfgang Reisig
      Pages 70-87

    3. Netz-Invarianten

      • Wolfgang Reisig
      Pages 88-113

    4. Lebendigkeitsuntersuchungen spezieller Netzklassen

      • Wolfgang Reisig
      Pages 114-130

  6. Netze mit Individuen als Marken

    1. Front Matter

      Pages 131-131
      Download chapter PDF

    2. Prädikat/Ereignis-Netze

      • Wolfgang Reisig
      Pages 132-146

    3. Relationennetze

      • Wolfgang Reisig
      Pages 147-163

  7. Back Matter

    Pages 164-198
    Download chapter PDF
Back to top

Keywords

About this book

1 d Petrinetze sind für den Entwurf und die Analyse nicht-sequentieller (paralleler) Prozesse und Systeme geeignet. Insbesondere im Hardware- und Software-Entwurf und in der Systemspezifikation werden sie erfolgreich angewendet. Das Buch führt in die grundlegenden Begriffe und Methoden des Gebietes ein. In drei Teilen werden Netze aus Bedingungen und Ereignissen, Stellen/Transitionen-Netze und schließlich Netze mit beliebigen (individuellen) Marken behandelt. Bei den Analysemethoden werden Fakten, Synchronieabstände und Invarianten ausführlich besprochen - also Methoden, die nicht auf sequentiellen Realisierungen paralleler Prozesse beruhen. Der dritte Teil behandelt den Fakten- und Invariantenkalkül für Prädikat/Ereignis-Netze. Das Buch gibt eine geschlossene, einheitliche Darstellung der Grundbegriffe und typischen Anwendungen der Netztheorie. Es bereitet den Leser darauf vor, Petrinetze angemessen anzuwenden und die Spezialliteratur zu lesen.

Authors and Affiliations

  • GMD, St. Augustin, Deutschland

    Wolfgang Reisig

Bibliographic Information

  • Book Title: Petrinetze

  • Book Subtitle: Eine Einführung

  • Authors: Wolfgang Reisig

  • Series Title: Studienreihe Informatik

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

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1986

  • Softcover ISBN: 978-3-540-16622-1Published: 01 May 1986

  • eBook ISBN: 978-3-642-71275-3Published: 07 March 2013

  • Series ISSN: 1431-8792

  • Edition Number: 2

  • Number of Pages: IX, 196

  • Additional Information: Ursprünglich monographisch erschienen

  • Topics: Software Engineering, Logic Design, Computer Communication Networks

Publish with us

Policies and ethics

Back to top

Search

Navigation