Petri Net Synthesis

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Introduction
3. Altmetric Badge
   Chapter 2 Introduction to Elementary Net Synthesis
4. Altmetric Badge
   Chapter 3 Other Forms of the Synthesis Problem
5. Altmetric Badge
   Chapter 4 Algorithms of Elementary Net Synthesis
6. Altmetric Badge
   Chapter 5 Variations of Elementary Net Synthesis
7. Altmetric Badge
   Chapter 6 A Unified Theory of Net Synthesis
8. Altmetric Badge
   Chapter 7 The Linear Algebraic Structure of Regions
9. Altmetric Badge
   Chapter 8 Synthesis of P/T-Nets from Finite Initialized Transition Systems
10. Altmetric Badge
    Chapter 9 Synthesis of Unbounded P/T-Nets
11. Altmetric Badge
    Chapter 10 P/T-Nets with the Step Firing Rule
12. Altmetric Badge
    Chapter 11 Extracting Concurrency from Transition Systems
13. Altmetric Badge
    Chapter 12 Process Discovery
14. Altmetric Badge
    Chapter 13 Supervisory Control
15. Altmetric Badge
    Chapter 14 Design of Speed Independent Circuits