Decidibilidad de problemas sobre Redes de Petri temporizadas

• Autores: Valentín Valero Ruiz
• Directores de la Tesis: David de Frutos Escrig (dir. tes.)
• Lectura: En la Universidad Complutense de Madrid ( España ) en 1993
• Idioma: español
• Tribunal Calificador de la Tesis: Mario Rodríguez Artalejo (presid.) , Ricardo Peña Marí (secret.) , Javier Esparza Estaun (voc.) , Francisco Javier Martínez Rodríguez (voc.) , Francisco Javier Campos Laclaustra (voc.)
• MSC2000 :
  • Lógica matemática y fundamentos
    • Lógica general
      • Decidabilidad de teorías y conjuntos de expresiones
  • Combinatoria
    • Teoría de grafos
  • Teoría de números
    • Conexiones con lógica
      • Decidabilidad (Lógica simbólica y matemática)
  • Teoría de campos y polinomios
    • Conexiones con lógica
      • Decidabilidad (Lógica simbólica y matemática)
• Enlaces
  • Tesis en acceso abierto en: Docta Complutense
• Resumen

  • 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