Synopses & Reviews
Petri nets are a model for the analysis of concurrent systems.
Table of Contents
1. Introduction; 2. Analysis techniques for petri nets; 3. S-systems and T-systems; 4. Liveness in free choice; 5. The coverability theorems; 6. The rank theorem; 7. Reduction and synthesis; 8. Home markings; 9. Reachability and shortest sequences; 10. Generalizations; Index; List of symbols; List of main results.