Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications
Girault, Claude; Valk, Rüdiger
ISBN 10: 3540412174 ISBN 13: 9783540412175
Published by Springer, 2002
Used
Hardcover
From
ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since 24 March 2009
This specific item is no longer available.
About this Item
Description:
May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 2.3. Seller Inventory # G3540412174I4N00
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.
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.
Bibliographic Details
Title: Petri Nets for Systems Engineering: A Guide ...
Publisher: Springer
Publication Date: 2002
Binding: Hardcover
Condition: Very Good
Dust Jacket Condition: No Jacket
Top Search Results from the AbeBooks Marketplace
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: 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: 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: 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
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: BennettBooksLtd, San Diego, NV, 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
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
Seller Image
Petri Nets for Systems Engineering
Published by
Springer Berlin Heidelberg, 2002
ISBN 10: 3540412174
ISBN 13: 9783540412175
New
Hardcover
Seller: moluna, Greven, Germany
Seller rating 4 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 # 4889163
Buy New
£ 80.31
£ 42.45 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Petri Nets for Systems Engineering | A Guide to Modeling, Verification, and Applications
Print on DemandSeller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Petri Nets for Systems Engineering | A Guide to Modeling, Verification, and Applications | Rüdiger Valk (u. a.) | Buch | xvi | Englisch | 2002 | Springer-Verlag GmbH | EAN 9783540412175 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. Seller Inventory # 105156594
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