Decidibilidad de problemas sobre Redes de Petri temporizadas
- Valero Ruiz, Valentín
- David de Frutos Escrig Doktorvater
Universität der Verteidigung: Universidad Complutense de Madrid
Jahr der Verteidigung: 1993
- Mario Rodríguez Artalejo Präsident
- Ricardo Peña Marí Sekretär
- Javier Esparza Estaun Vocal
- Francisco Javier Martínez Rodríguez Vocal
- Francisco Javier Campos Laclaustra Vocal
Art: Dissertation
Zusammenfassung
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