Conoce las bases teóricas y aplicaciones prácticas de las redes Petri y modelos concurrentes, con análisis detallado de algoritmos de sincronización, gestión de recursos y optimización de flujos en sistemas distribuidos.