Tell your friends about this item:
Syntax and Semantics of Petri Nets - Cambridge Tracts in Theoretical Computer Science Gorrieri, Roberto (Universita degli Studi, Bologna, Italy)
Syntax and Semantics of Petri Nets - Cambridge Tracts in Theoretical Computer Science
Gorrieri, Roberto (Universita degli Studi, Bologna, Italy)
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.
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | September 25, 2025 |
| ISBN13 | 9781009613286 |
| Publishers | Cambridge University Press |
| Pages | 282 |
| Dimensions | 161 × 235 × 22 mm · 548 g |
| Language | English |