Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Theoretische Informatik

Petri-Netze

  • Textbook
  • © 2003

Overview

Authors:
  1. Lutz Priese

    1. Fachbereich Informatik, Universität Koblenz-Landau, Koblenz, Deutschland

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Harro Wimmel

    1. Fachbereich Informatik, Universität Oldenburg, Oldenburg, Deutschland

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • Mathematisch präzise Einführung in die Theorie der Petri-Netze
  • Exakte und ausführliche Beweisführung
  • Erstmals: Übertragung der Petri-Netz-Sprachtheorie auf Semantiken mit echter Nebenläufigkeit
  • Includes supplementary material: sn.pub/extras

Part of the book series: Springer-Lehrbuch (SLB)

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 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (8 chapters)

  1. Front Matter

    Pages I-IX
    Download chapter PDF

  2. Einleitung

    1. Einleitung

      • Lutz Priese, Harro Wimmel
      Pages 1-26

  3. Mathematische Grundlagen

    1. Mathematische Grundlagen

      • Lutz Priese, Harro Wimmel
      Pages 27-46

  4. Interleaving Verhalten von Petri-Netzen

    1. Front Matter

      Pages 47-47
      Download chapter PDF

    2. Grundlegende Eigenschaften

      • Lutz Priese, Harro Wimmel
      Pages 49-91

    3. Die Entscheidbarkeit des Erreichbarkeitsproblems

      • Lutz Priese, Harro Wimmel
      Pages 93-118

    4. Berechenbarkeit, Erreichbarkeit, Erzeugbarkeit

      • Lutz Priese, Harro Wimmel
      Pages 119-188

    5. Petri-Netz-Sprachen

      • Lutz Priese, Harro Wimmel
      Pages 189-241

  5. True-Concurrency Verhalten von Petri-Netzen

    1. Front Matter

      Pages 243-243
      Download chapter PDF

    2. Pomset- und Stepsprachen

      • Lutz Priese, Harro Wimmel
      Pages 245-292

    3. Algebraische Charakterisierungen

      • Lutz Priese, Harro Wimmel
      Pages 293-341

  6. Back Matter

    Pages 343-376
    Download chapter PDF
Back to top

Keywords

About this book

Petri-Netze sind das meist beachtete und am besten untersuchte Modell für nebenläufige, parallele Rechnungen. In diesem Lehrbuch werden zum ersten Mal zahlreich Resultate der Originalliteratur über Unmöglichkeiten, Möglichkeiten und die Komplexität der Ausdrucksmittel von Petri-Netzen didaktisch aufgearbeitet und im Detail einer breiteren Leserschaft vorgestellt. Alle für die Beweise notwendigen Techniken und mathematischen Begriffe werden erläutert. Damit wendet sich das Buch sowohl an Studierende als auch an Lehrende und Forscher. Der Inhalt konzentriert sich neben einer Darstellung der Grundbegriffe und deren Zusammenhänge insbesondere auf einen Algorithmus für die Erreichbarkeitsfrage, die Ausdrucksfähigkeit verschiedener Berechnungsbegriffe, ausgewählte Fragen zur Entscheidbarkeit und Komplexität, sowie Petri-Netz Semantiken mittels Sprachen und partiell geordneten Mengen und deren algebraische Charakterisierung.

Authors and Affiliations

  • Fachbereich Informatik, Universität Koblenz-Landau, Koblenz, Deutschland

    Lutz Priese

  • Fachbereich Informatik, Universität Oldenburg, Oldenburg, Deutschland

    Harro Wimmel

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation