Petri Nets for Systems Engineering
A Guide to Modeling, Verification, and Applications
(Sprache: Englisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch
139.09 €
Produktdetails
Produktinformationen zu „Petri Nets for Systems Engineering “
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.
Klappentext zu „Petri Nets for Systems Engineering “
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.
Inhaltsverzeichnis zu „Petri Nets for Systems Engineering “
Part I. Introduction: Purpose of the Book- Acknowledgements
Part II. Petri Nets - Basic Concepts: Introduction
- Essential Features of Petri Nets
- Intuitive Models
- Basic Definitions
- Properties
- Overview of the Book
Part III. Modelling: Introduction
- Modelling and Analysis Techniques by Example
- Techniques
- Methods
- Case Studies
- Conclusion
Part IV. Verification: Introduction: Issues in Verification
- State-Space-Based Methods and Model Checking
- Structural Methods
- Deductive and Process-Algebra-Based Methods
- Conclusion
Part V. Validation and Execution: Introduction
- Systems Engineering and Validation
- Net Execution
- Code Generation
- Conclusion
Part VI. Application Domains: Introduction
- Flexible Manufacturing Systems
- Workflow Systems
- Telecommunications Systems
- Conclusion
- List of Authors and Affiliations
- Bibliography
- Index.
Bibliographische Angaben
- Autoren: Claude Girault , Rüdiger Valk
- 2002, 607 Seiten, Maße: 16 x 24,1 cm, Gebunden, Englisch
- Verlag: Springer
- ISBN-10: 3540412174
- ISBN-13: 9783540412175
- Erscheinungsdatum: 13.11.2002
Sprache:
Englisch
Rezension zu „Petri Nets for Systems Engineering “
From the reviews:
Kommentar zu "Petri Nets for Systems Engineering"
0 Gebrauchte Artikel zu „Petri Nets for Systems Engineering“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Petri Nets for Systems Engineering".
Kommentar verfassen