Explora la teoría avanzada de redes Petri y modelos de concurrencia con ejemplos prácticos sobre sistemas distribuidos, algoritmos de verificación y análisis de rendimiento, proporcionando herramientas esenciales para investigadores y profesionales en informática.