Petri-Netze

Authors:

ISBN: 978-3-540-76970-5 (Print) 978-3-540-76971-2 (Online)

Table of contents (8 chapters)

  1. Front Matter

    Pages I-IX

  2. Einleitung

    1. No Access

      Book Chapter

      Pages 1-26

      Einleitung

  3. Mathematische Grundlagen

    1. No Access

      Book Chapter

      Pages 27-46

      Mathematische Grundlagen

  4. Interleaving Verhalten von Petri-Netzen

    1. Front Matter

      Pages 47-47

    2. No Access

      Book Chapter

      Pages 49-91

      Grundlegende Eigenschaften

    3. No Access

      Book Chapter

      Pages 93-118

      Die Entscheidbarkeit des Erreichbarkeitsproblems

    4. No Access

      Book Chapter

      Pages 119-188

      Berechenbarkeit, Erreichbarkeit, Erzeugbarkeit

    5. No Access

      Book Chapter

      Pages 189-240

      Petri-Netz-Sprachen

  5. True-Concurrency Verhalten von Petri-Netzen

    1. Front Matter

      Pages 241-241

    2. No Access

      Book Chapter

      Pages 243-290

      Pomset- und Stepsprachen

    3. No Access

      Book Chapter

      Pages 291-339

      Algebraische Charakterisierungen

  6. Back Matter

    Pages 341-374