Descubre cómo las redes Petri y los modelos de concurrencia se aplican a la verificación formal y al diseño de sistemas distribuidos, con ejemplos claros sobre algoritmos de análisis y optimización del rendimiento.