Skip to main content
SpringerLink
Log in
Book cover
  • Textbook
  • © 1986

Petrinetze

Eine Einführung

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)

Sections

Buy it now

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

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

Table of contents (10 chapters)

  1. Front Matter

    Pages I-IX
    PDF

  2. Einleitung

    1. Einleitung

      • Wolfgang Reisig
      Pages 1-3

  3. Einführende Beispiele und grundlegende Definitionen

  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
      PDF

    2. Netze aus Stellen und Transitionen

      • Wolfgang Reisig
      Pages 70-87

    3. Netz-Invarianten

      • Wolfgang Reisig
      Pages 88-113

  6. Netze mit Individuen als Marken

    1. Front Matter

      Pages 131-131
      PDF

    2. Prädikat/Ereignis-Netze

      • Wolfgang Reisig
      Pages 132-146

    3. Relationennetze

      • Wolfgang Reisig
      Pages 147-163

  7. Back Matter

    Pages 164-198
    PDF
Back to top

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.
Back to top

Keywords

Back to top

Authors and Affiliations

  • GMD, St. Augustin, Deutschland

    Wolfgang Reisig

Back to top

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

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation