Decidibilidad de problemas sobre Redes de Petri temporizadas

  1. Valero Ruiz, Valentín
Zuzendaria:
  1. David de Frutos Escrig Zuzendaria

Defentsa unibertsitatea: Universidad Complutense de Madrid

Defentsa urtea: 1993

Epaimahaia:
  1. Mario Rodríguez Artalejo Presidentea
  2. Ricardo Peña Marí Idazkaria
  3. Javier Esparza Estaun Kidea
  4. Francisco Javier Martínez Rodríguez Kidea
  5. Francisco Javier Campos Laclaustra Kidea
Saila:
  1. Sistemas Informáticos y Computación

Mota: Tesia

Teseo: 38311 DIALNET lock_openDocta Complutense editor

Laburpena

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