Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications (2003)
By: and
Sign Up Now!
Already a Member? Log In
You must be logged into UK education collection to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- 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.
- Copyright:
- 2003
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783662053249
- Related ISBNs:
- 9783540412175
- Publisher:
- Springer Berlin Heidelberg
- Date of Addition:
- 06/29/22
- Copyrighted By:
- N/A
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet, Business and Finance, Technology, Communication
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
Reviews
Other Books
- by Claude Girault
- by RĂ¼diger Valk
- in Nonfiction
- in Computers and Internet
- in Business and Finance
- in Technology
- in Communication