Syntax and Semantics of Petri Nets - Gorrieri, Roberto (Universita degli Studi, Bologna, Italy)
120,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 1-2 Wochen
payback
60 °P sammeln
  • Gebundenes Buch

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.

Andere Kunden interessierten sich auch für
Produktbeschreibung
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.
Autorenporträt
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.