Decidibilidad de problemas sobre Redes de Petri temporizadas
- Valero Ruiz, Valentín
- David de Frutos Escrig Directeur
Université de défendre: Universidad Complutense de Madrid
Année de défendre: 1993
- Mario Rodríguez Artalejo President
- Ricardo Peña Marí Secrétaire
- Javier Esparza Estaun Rapporteur
- Francisco Javier Martínez Rodríguez Rapporteur
- Francisco Javier Campos Laclaustra Rapporteur
Type: Thèses
Résumé
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