Items related to Petri Nets for Systems Engineering: A Guide to Modeling,...
Synopsis
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 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.
"synopsis" may belong to another edition of this title.
From the Back Cover
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 of 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.
"About this title" may belong to another edition of this title.
- PublisherSpringer
- Publication date2010
- ISBN 10 3642074472
- ISBN 13 9783642074479
- BindingPaperback
- LanguageEnglish
- Number of pages623
Buy New
View this item
£ 70.71
£ 21.07 shipping from Germany to United Kingdom
Destination, rates & speedsSearch results for Petri Nets for Systems Engineering: A Guide to Modeling,...
Seller Image
Petri Nets for Systems Engineering
Published by
Springer Berlin Heidelberg, 2010
ISBN 10: 3642074472
ISBN 13: 9783642074479
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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. Seller Inventory # 5046518
Quantity: Over 20 available
Seller Image
Petri Nets for Systems Engineering
Published by
Springer Berlin Heidelberg Dez 2010, 2010
ISBN 10: 3642074472
ISBN 13: 9783642074479
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 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 of 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. 624 pp. Englisch. Seller Inventory # 9783642074479
Quantity: 2 available
Seller Image
Petri Nets for Systems Engineering : A Guide to Modeling, Verification, and Applications
Published by
Springer Berlin Heidelberg, 2010
ISBN 10: 3642074472
ISBN 13: 9783642074479
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 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. Seller Inventory # 9783642074479
Quantity: 1 available
Seller Image
Petri Nets for Systems Engineering
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 2010, 2010
ISBN 10: 3642074472
ISBN 13: 9783642074479
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 624 pp. Englisch. Seller Inventory # 9783642074479
Quantity: 1 available
Stock Image
Petri Nets for Systems Engineering
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. 624 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 5384896
Quantity: 4 available
Stock Image
Petri Nets for Systems Engineering
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 624. Seller Inventory # 262463007
Quantity: 4 available
Stock Image
Petri Nets for Systems Engineering
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 624. Seller Inventory # 182462997
Quantity: 4 available
Stock Image
Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: Like New. Like New. book. Seller Inventory # ERICA79036420744726
Quantity: 1 available
Stock Image
Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020216312
Quantity: Over 20 available