2013

Understanding Petri Nets

Modeling Techniques, Analysis Methods, Case Studies

Authors:

ISBN: 978-3-642-33277-7 (Print) 978-3-642-33278-4 (Online)

Table of contents (23 chapters)

previous Page of 2
  1. Front Matter

    Pages I-XXVII

  2. Modeling Techniques

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 3-12

      An Example

    3. No Access

      Book Chapter

      Pages 13-24

      The Basic Concepts

    4. No Access

      Book Chapter

      Pages 25-33

      Common Special Case: Elementary System Nets

    5. No Access

      Book Chapter

      Pages 35-49

      Sequential and Distributed Runs

    6. No Access

      Book Chapter

      Pages 51-56

      Scenarios

    7. No Access

      Book Chapter

      Pages 57-63

      Further Notations for Elementary System Nets

    8. No Access

      Book Chapter

      Pages 65-73

      The Synthesis Problem

    9. No Access

      Book Chapter

      Pages 75-80

      Composition of Nets

  3. Analysis Methods

    1. Front Matter

      Pages 81-82

    2. No Access

      Book Chapter

      Pages 83-96

      State Properties

    3. No Access

      Book Chapter

      Pages 97-101

      Traps and Cotraps of Elementary System Nets

    4. No Access

      Book Chapter

      Pages 103-109

      Place Invariants of Elementary System Nets

    5. No Access

      Book Chapter

      Pages 111-117

      Combining Traps and Place Invariants of Elementary System Nets

    6. No Access

      Book Chapter

      Pages 119-129

      Traps and Place Invariants of Generic System Nets

    7. No Access

      Book Chapter

      Pages 131-139

      Marking and Covering Graphs

    8. No Access

      Book Chapter

      Pages 141-145

      Reachability in Elementary System Nets

    9. No Access

      Book Chapter

      Pages 147-156

      Run Properties

    10. No Access

      Book Chapter

      Pages 157-161

      Free-Choice Nets

    11. No Access

      Book Chapter

      Pages 163-167

      Marked Graphs

    12. No Access

      Book Chapter

      Pages 169-172

      Well-Formed System Nets

  4. Case Studies

    1. Front Matter

      Pages 173-173

    2. No Access

      Book Chapter

      Pages 175-184

      Mutual Exclusion

previous Page of 2