Books
1 results found| Title | Authors | Description | OpenBook ID | |
|---|---|---|---|---|
|
Petri Net Algebra | Eike Best | This book presents a step-by-step development of a rigorous framework for the specification and verification of concurrent systems. Petri Net Algebra takes its inspiration and methods from Process Al… | OL19894238W |