Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications by Claude GiraultPetri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications by Claude Girault

Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications

byClaude Girault, Rüdiger Valk

Paperback | December 15, 2010

Pricing and Purchase Info

$172.68 online 
$205.95 list price save 16%
Earn 863 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and ApplicationsFormat:PaperbackDimensions:607 pagesPublished:December 15, 2010Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3642074472

ISBN - 13:9783642074479

Reviews

Table of Contents

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.

Editorial Reviews

From the reviews:"This is an extensive work providing an overview of the current state of the art of the use of Petri nets in systems engineering. . The book has been carefully written avoiding an excess of formulas and technicalities. . This book is suited for those well acquainted with formal modelling of systems and who now want to learn which techniques are available from the perspective of Petri nets." (J.F. Groote, Zentralblatt MATH, Vol. 1024, 2003)