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.
Other Popular Editions of the Same Title
Search results for Petri Nets for Systems Engineering: A Guide to Modeling,...
Stock Image
Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications
Seller: Funky Fox Books, HARLINGEN, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. Hardcover, 8vo., 607 pp. Ex-Lib, with usual faults, otherwise a clean, tight copy. Seller Inventory # 000928
Stock Image
Petri Nets for Systems Engineering
Published by
Springer (edition 2003), 2002
ISBN 10: 3540412174
ISBN 13: 9783540412175
Used
Hardcover
Seller: BooksRun, Philadelphia, PA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. 2003. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting. Seller Inventory # 3540412174-8-1
Stock Image
Petri Nets for Systems Engineering
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_316576437
Stock Image
Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications.
Published by
Berlin/Heidelberg, Springer., 2003
ISBN 10: 3540412174
ISBN 13: 9783540412175
Used
Hardcover
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germany
Seller rating 5 out of 5 stars
XVI, 607 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch. Seller Inventory # 10618GB
Stock Image
Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications
Seller: Anybook.com, Lincoln, United Kingdom
Seller rating 5 out of 5 stars
Condition: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1100grams, ISBN:9783540412175. Seller Inventory # 9759036
Buy Used
£ 27.83
£ 13.40 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Petri Nets For Systems Engineering
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-240812
Stock Image
Petri Nets for Systems Engineering
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: New. In shrink wrap. Looks like an interesting title! Seller Inventory # Q-3540412174
Stock Image
Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications
Seller: ALLBOOKS1, Direk, SA, Australia
Seller rating 5 out of 5 stars
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Seller Inventory # SHAK240812
Stock Image
Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540412175_new
Buy New
£ 94.62
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Petri Nets for System Engineering : A Guide to Modeling, Verification, and Applications
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 915679-n
Buy New
£ 95.60
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available