El objetivo de esta línea se centra en el uso de formalismos y desarrollo de métodos formales para el modelado, análisis (cualitativo y cuantitativo) y síntesis en el diseño de sistemas complejos de distintos dominios de aplicación. Los modelos construidos pertenecen en su mayoría a la familia de las redes de Petri, aunque otros modelos como las cadenas de Markov, Sistemas de Transiciones o Álgebras de Procesos también son considerados.
Grupo