Tesis doctoral de Valentin Valero Ruiz
La tesis investiga cuestiones de decidibilidad sobre distintas variantes de redes de petri temporizadas. Se definen diversas extensiones de las propiedades clasicas de redes de petri, a los modelos temporizados. Se consideran asimismo distintas hipotesis sobre el tipo de modelo temporal: discreto, racional, real. el trabajo se encuadra en una linea de investigacion de actualidad y los resultados obtenidos son interesantes, numerosos y originales.
Datos académicos de la tesis doctoral «Decidibilidad de problemas sobre redes de petri temporizadas.«
- Título de la tesis: Decidibilidad de problemas sobre redes de petri temporizadas.
- Autor: Valentin Valero Ruiz
- Universidad: Complutense de Madrid
- Fecha de lectura de la tesis: 01/01/1993
Dirección y tribunal
- Director de la tesis
- Frutos Escrig David De
- Tribunal
- Presidente del tribunal: Mario Rodríguez Artalejo
- Javier Martinez Rodríguez (vocal)
- Javier Esparza Estaun (vocal)
- Javier Campos Laclaustra (vocal)