Overview
- Offers both practical and theoretical foundations for the use of Petri nets in complex system engineering tasks
- Bridges the gap between Petri nets and the systems modeling and implementation process
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
The book covers the main phases in the life cycle of design and implementation of a system, i.e., specification, model checking techniques for verification, analysis of properties, code generation, and execution of models. These techniques and their tool support are discussed in detail including practical issues. Amongst others, fundamental concepts such as composition, abstraction, and reusability of models, model verification, and verification of properties are systematically introduced.
Similar content being viewed by others
Keywords
Table of contents (28 chapters)
-
Introduction: Purpose of the Book
-
Petri Nets — Basic Concepts
-
Modelling
-
Verification
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)
Authors and Affiliations
Bibliographic Information
Book Title: Petri Nets for Systems Engineering
Book Subtitle: A Guide to Modeling, Verification, and Applications
Authors: Claude Girault, Rüdiger Valk
DOI: https://doi.org/10.1007/978-3-662-05324-9
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2003
Hardcover ISBN: 978-3-540-41217-5Published: 13 November 2002
Softcover ISBN: 978-3-642-07447-9Published: 15 December 2010
eBook ISBN: 978-3-662-05324-9Published: 14 March 2013
Edition Number: 1
Number of Pages: XVI, 607
Topics: Software Engineering/Programming and Operating Systems, Computation by Abstract Devices, Logics and Meanings of Programs, Computer Communication Networks, Communications Engineering, Networks, IT in Business