Petri nets for systems engineering : a guide to modeling, verification, and applications
With contributions by W.van der Aalst, P. Barril, T. Basten, J.-M. Colom, A. Diagne, C. Dutheillet, W. El Kaim, J. Espeleta, B. Farwer, M.P. Gervais, S. Haddad, J.M. Ilie, F. Kordon, R. Mackenthun, D. Moldt, D. Poitrenaud, M. Silva,M.-O. Stehr, E. Teruel, I. Vernier-Mounier, M. Voorhoeve
607 p. : illustrations ; 24 cm
9783540412175, 3540412174
708662476
Parte. 1. Petri nets
basic concepts
1. Introduction
2. Essential features of petri nets
3. Intuitive models
4. Basic definitions
5. Properties
6. Overview of the book
Parte. 2. Modelling
7. Introduction
8. Modelling and analysis techniques by example
9. Techniques
10. Methods
11. Case studies
12. Conclusion
Parte. 3. Verification
13. Introduction: issues in verification
14. State-space-based methods and model checking
15. Structural methods
16. Deductive and process-algebra-based methods
17. Conclusion
Parte. 4. Validation and execution
18. Introduction
19. Systems engineering and validation
20. Net execution
21. Code generation
22. Conclusion
Parte. 5. Application domains ..