Dynamic Analysis of Petri Net-Based Discrete Systems

Andrei Karatkevich3540714642, 9783540714644

Table of contents :
front-matter……Page 1
1Introduction……Page 12
2Main Notions, Problems and Methods……Page 20
3Reduced Reachability Graphs……Page 38
4Decomposition for Analysis……Page 74
5Analysis by Solving Logical Equations — Calculation of Siphons and Traps……Page 97
6Verification of Detailed System Descriptions……Page 104
7Conclusion……Page 131
back-matter……Page 134