Syntax and semantics of petri nets
Auteur :
Gorrieri, Roberto
Éditeur :
Cambridge University Press
ISBN :
9781009613286
Date de publication :
31 août 2025
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.