Petri Nets for Systems Engineering : A Guide to Modeling, Verification, and Applications /
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...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2003.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Search Result 1