Der Artikel ist weiterhin als ^^OTHERCONDITION^^ verfügbar.
Autor: Claude Girault
ISBN-13: 9783540412175
Einband: Book
Seiten: 624
Gewicht: 1116 g
Format: 247x167x41 mm
Sprache: Englisch

Petri Nets for Systems Engineering

A Guide to Modeling, Verification, and Applications
Geben Sie Ihre Bewertung ab!  
Wir verlosen jeden Monat unter allen freigegebenen Rezensionen
3 Gutscheine im Wert von 20 Euro. Teilnahmebedingungen
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
Offers both practical and theoretical foundations for the use of Petri nets in complex system engineering tasksBridges the gap between Petri nets and the systems modeling and implementation process
Introduction: Purpose of the Book.- 1. Introduction.- 2. Essential Features of Petri Nets.- 3. Intuitive Models.- 4. Basic Definitions.- 5. Properties.- 6. Overview of the Book.- 8. Modelling and Analysis Techniques by Example.- 9. Techniques.- 10. Methods.- 11. Case Studies.- 12. Conclusion.- 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.- 18. Introduction.- 19. Systems Engineering and Validation.- 20. Net Execution.- 21. Code Generation.- 22. Conclusion.- 23. Introduction.- 24. Flexible Manufacturing Systems.- 25. Workflow Systems.- 26. Telecommunications Systems.- 27. Conclusion.- References.
Using formal methods for the specification and verification of hardware and software systems is becoming increasingly important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods based on Petri net formalisms. It presents both practical and theoretical foundations for the use of Petri nets in complex system engineering tasks. In doing so it bridges the gap between Petri nets and the systems modeling and implementation process. It contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems.

Zu diesem Artikel ist noch keine Rezension vorhanden.
Helfen sie anderen Besuchern und verfassen Sie selbst eine Rezension.

 

Rezensionen

Autor: Claude Girault
ISBN-13 :: 9783540412175
ISBN: 3540412174
Erscheinungsjahr: 13.11.2002
Verlag: Springer Berlin Heidelberg
Gewicht: 1116g
Seiten: 624
Sprache: Englisch
Auflage 2003
Sonstiges: Buch, 247x167x41 mm