Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications
Language: English
Published by Springer, New York, 2002
- Hardcover
- Used
Seller: Funky Fox Books, HARLINGEN, TX, U.S.A.Funky Fox Books
5-star seller
AbeBooks seller since March 2, 2022
Hardcover
Condition: Used - Good
US$ 35.00
US$ 6.00 shipping
Ships within U.S.A.
Quantity: 1 available
Add to basketFree 30-day returns
Item description from seller
Hardcover, 8vo., 607 pp. Ex-Lib, with usual faults, otherwise a clean, tight copy.
Seller Inventory # 000928
- Title
- Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications
- Author
- Girault, Claude; Valk, Rüdiger
- Publisher
- Springer, New York
- Publication year
- 2002
- Condition
- Good
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 3540412174
- ISBN 13
- 9783540412175
- Dimensions
- 8vo - over 7¾ - 9¾" tall
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.
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.
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 the title" may belong to another edition of this title.
Funky Fox Books
HARLINGEN, TX, U.S.A.
5-star seller
AbeBooks seller since March 2, 2022
Shipping rates within U.S.A.
| Item | 5 to 14 business days | 3 to 6 business days |
|---|---|---|
| First item | US$ 6.00 | US$ 15.00 |
Payment methods
Store description
We are a brick and mortar store selling antiques, collectibles and new, used and rare books. We are located downtown Harlingen Texas.
Specialty
used, out of print and collectible books in a variety of subject areasSeller's business information
Funky Fox Books
TX, U.S.A.
Shipping terms
1st book $3.00 5-14 business days. Additional books $2.50 each.
Expedited shipping available.