Petri Nets for Systems Engineering A Guide to Modeling, Verification, and Applications / by Claude Girault, Rüdiger Valk.
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...
Full description
Saved in: