Syntax and Semantics of Petri Nets
A modern look at Petri net theory, providing a uniform presentation of both theories of sequential and distributed computation. Introducing the theory step by step, this is a useful resource for graduate students and researchers engaged with the modeling, analysis, and verification of distributed communicating systems.
Specificaties
| ISBN/EAN | 9781009613286 |
| Auteur | Roberto (Universita degli Studi Gorrieri |
| Uitgever | Van Ditmar Boekenimport B.V. |
| Taal | Engels |
| Uitvoering | Gebonden in harde band |
| Pagina's | 282 |
| Lengte | |
| Breedte |
