Decidibilidad de problemas sobre Redes de Petri temporizadas
- Valero Ruiz, Valentín
- David de Frutos Escrig Director
Universitat de defensa: Universidad Complutense de Madrid
Any de defensa: 1993
- Mario Rodríguez Artalejo President
- Ricardo Peña Marí Secretari
- Javier Esparza Estaun Vocal
- Francisco Javier Martínez Rodríguez Vocal
- Francisco Javier Campos Laclaustra Vocal
Tipus: Tesi
Resum
La tesis investiga cuestiones de decibilidad sobre distintos variantes de redes de Petri temporizados. Se detiene diversas extensiones de las propiedades clásicas de redes de Petri, a los modelos temporizados, se consideran, asimismo distintas hipótesis sobre el tipo de modelo temporal: discreto, racional, real etc.. El trabajo se encuadra en una línea de investigación de acrualidad y los resutados obtenidos son interesantes, numerosos y originales