[ES] Desarrollo de la automatización de un proceso distribuido, formado por varios subprocesos controlados cada uno por autómatas distintos, en los que se debe implementar diversos modos de funcionamiento con coordinación ...