Stock image for illustration purposes only - book cover, edition or condition may vary.
Petri Nets for Systems Engineering
Girault, Claude; Valk, Rudiger
€ 114.36
FREE Delivery in Ireland
Description for Petri Nets for Systems Engineering
Paperback. 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 Num Pages: 607 pages, biography. BIC Classification: PBCD; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 35. Weight in Grams: 890.
Formal methods for the specification and verification of hardware and software systems are becoming more and more 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 contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems.
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 ... Read more
Formal methods for the specification and verification of hardware and software systems are becoming more and more 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 contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems.
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 ... Read more
Product Details
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
607
Condition
New
Number of Pages
607
Place of Publication
Berlin, Germany
ISBN
9783642074479
SKU
V9783642074479
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Petri Nets for Systems Engineering
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 ... Read more