El presente proyecto, se enmarca en el ámbito de la automatización de procesos industriales basada en el control de eventos discretos. Específicamente, utilizando como metodología formal para el diseño de la automatización ...