E-book
Understanding Petri Nets [electronic resource] : Modeling Techniques, Analysis Methods, Case Studies / by Wolfgang Reisig.
Record details
- ISBN: 9783642332784
- Physical Description: XXVII, 230 p. 145 illus. online resource.
- Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.
Search for related items by subject
Electronic resources
| Part I Modeling Techniques | ||
| Chap. 1 An Example | ||
| Chap. 2 The Basic Concepts | ||
| Chap. 3 Common Special Case: Elementary System Nets | ||
| Chap. 4 Sequential and Distributed Runs | ||
| Chap. 5 Scenarios | ||
| Chap. 6 Further Notation for Elementary System Nets | ||
| Chap. 7 The Synthesis Problem | ||
| Chap. 8 Composition of Nets | ||
| Part II Analysis Methods | ||
| Chap. 9 State Properties | ||
| Chap. 10 Traps and Co-traps of Elementary System Nets | ||
| Chap. 11 Place Invariants of Elementary System Nets | ||
| Chap. 12 Combining Traps and Place Invariants of Elementary System Nets | ||
| Chap. 13 Traps and Place Invariants of Generic System Nets | ||
| Chap. 14 Marking and Covering Graphs | ||
| Chap. 15 Reachability in Elementary System Nets | ||
| Chap. 16 Run Properties | ||
| Chap. 17 Free-Choice Nets | ||
| Chap. 18 Marked Graphs | ||
| Chap. 19 Well-Formed System Nets | ||
| Part III Case Studies | ||
| Chap. 20 Mutual Exclusion | ||
| Chap. 21 Asynchronous Hardware. |
