Roberto Gorrieri (Universita degli Studi, Bologna, Italy)

Gebundenes Buch

Syntax and Semantics of Petri Nets

Beschreibung

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.

Autor

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.

Produktdetails

• Cambridge Tracts in Theoretical Computer Science
• Verlag: Cambridge University Press
• Seitenzahl: 282
• Erscheinungstermin: 21. August 2025
• Englisch
• Abmessung: 235mm x 157mm x 20mm
• Gewicht: 548g
• ISBN-13: 9781009613286
• ISBN-10: 1009613286
• Artikelnr.: 73732089