Name: Syntax and Semantics of Petri Nets (en Inglés)
SKU: 64692742
Price: 161.74 USD
Availability: InStock
Author: Roberto Gorrieri

portada Syntax and Semantics of Petri Nets (en Inglés)

Syntax and Semantics of Petri Nets (en Inglés)

Formato

Libro Físico

Editorial

Cambridge University Press

Autor

Roberto Gorrieri

Año

2025

Idioma

Inglés

N° páginas

282

Encuadernación

Tapa Dura

Dimensiones

23.5x16.1x2.2 cm

ISBN13

9781009613286

Syntax and Semantics of Petri Nets (en Inglés)

Roberto Gorrieri (Autor) · Cambridge University Press · Tapa Dura

Libro Nuevo Importado

Envío: 19 a 26 días háb.

$ 323.47$ 161.74

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 161.74

Llega entre el 15 Sep y el 28 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Syntax and Semantics of Petri Nets (en Inglés)"

\n
\nA 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.
\n
\nPetri nets are one of the most popular tools for modeling distributed systems. This book provides a modern look at the theory behind them, by studying three classes of nets that model (i) sequential systems, (ii) non-communicating parallel systems, and (iii) communicating parallel systems. A decidable and causality respecting behavioral equivalence is presented for each class, followed by a modal logic characterization for each equivalence. The author then introduces a suitable process algebra for the corresponding class of nets and proves that the behavioral equivalence proposed for each class is a congruence for the operator of the corresponding process algebra. Finally, an axiomatization of the behavioral congruence is proposed. The theory is introduced step by step, with ordinary-language explanations and examples provided throughout, to remain accessible to readers without specialized training in concurrency theory or formal logic. Exercises with solutions solidify understanding, and the final chapter hints at extensions of the theory.