Hardcover
Unlocking Petri net power: equivalence, logic, algebra, and axiomatization revealed.
Pre-Order
Syntax and Semantics of Petri Nets
$405.82
- Hardcover
279 pages
- Release Date
31 August 2025
Check Delivery Options
Summary
Unlocking the Secrets of Petri Nets: A Journey Through Syntax, Semantics, and Behavioral Equivalence
Petri nets stand as a cornerstone in the modeling of distributed systems. This book offers a contemporary exploration of their theoretical foundations, dissecting three distinct net classes that represent:
- Sequential systems
- Non-communicating parallel systems
- Communicating parallel systems
For each class, a decidable and causality-respec…
Book Details
| ISBN-13: | 9781009613286 |
|---|---|
| ISBN-10: | 1009613286 |
| Series: | Cambridge Tracts in Theoretical Computer Science |
| Author: | Roberto Gorrieri |
| Publisher: | Cambridge University Press |
| Imprint: | Cambridge University Press |
| Format: | Hardcover |
| Number of Pages: | 279 |
| Release Date: | 31 August 2025 |
| Weight: | 0g |
About The Author
Roberto Gorrieri
Roberto Gorrieri is Professor of Computer Science at the University of Bologna. His research interests include theory of concurrency and foundations of security. Gorrieri is author of two books ‘Introduction to Concurrency Theory’ (2015) and ‘Process Algebras for Petri Nets’ (2017) and editor of ten volumes, mainly about security foundations.
Returns
This item is eligible for free returns within 30 days of delivery. See our returns policy for further details.