Seminario - Sobre la fluidificación de redes de Petri

Mon, 13/06/2005 (All day)
La literatura técnica contempla diversos modelos formales híbridos y continuos basados en redes de Petri. La presentación se centrará en la aproximación adoptada en el grupo, en principio coincidente con la que desarrolla también el equipo de René David en Grenoble: fluidificación (parcial) del modelo discreto. La fluidificación es una relajación estándar que permite sortear algunos de los problemas que plantea la inherente explosión de estados en el modelo discreto, al precio de hacer no analizables diversas propiedades (algunas inherentemente, como la exclusión mutua; otras como la vivacidad, dependiendo de la clase o del modelo concreto). Se realizará una presentación esencialmente introductoria, al tiempo que se señalan algunos de los temas en estudio, dejando para una segunda intervención los aspectos dinámicos de control y observación. Entre las cuestiones que se plantearán están: (1) semánticas posibles en modelos temporizados (finitos e infinitos servidores; ¿adecuación?); (2) La fluidificación (parcial) no siempre es posible; (3) aspectos el análisis estructural de los modelos fluidificados; (4) problemas de síntesis: diseño (optimización paramétrica) y primera aproximación al control dinámico.