Authors:
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
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (28 chapters)
-
Front Matter
-
Introduction: Purpose of the Book
-
Petri Nets — Basic Concepts
-
Front Matter
-
-
Modelling
-
Front Matter
-
-
Verification
-
Front Matter
-
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.
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
-
Lab. LIP6 (CNRS-UMR 7606), University of Paris VI, Paris Cedex 05, France
Claude Girault
-
Department of Computer Science, University of Hamburg, Hamburg, Germany
Rüdiger Valk
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