Traduccion de tpalp en una clase probabilistica y temporizada de redes de petri

• Autores: Antonio Bueno Aroca
• Directores de la Tesis: Valentín Valero Ruiz (dir. tes.), Fernando Cuartero Gómez (codir. tes.)
• Lectura: En la Universidad de Castilla-La Mancha ( España ) en 2006
• Idioma: español
• Tribunal Calificador de la Tesis: Francisco José Quiles Flor (presid.), Diego Cazorla López (secret.), David de Frutos Escrig (voc.), Francisco Javier Oliver Villarroya (voc.), Manuel Núñez García (voc.)
• Materias:
  • Ciencias tecnológicas
    • Tecnología de los ordenadores
      • Instrucciones aritméticas y de maquina
• Texto completo no disponible (Saber más ...)
• Resumen

  • TPALp es un lenguaje algebraico para la descripción de sistemas concurrentes con capacidad para expresa comportamientos temporales y probabilísticas, junto con interacciones urgentes. En esta tesis se presentan las principales características de este lenguaje, su semántica operacional y una traducción de términos TPALp en una clase particular de Redes de Petri probabilísticas y temporizadas. El lenguaje incluye un operador de elección probabilística, un operador de prefijo temporizado y un operador de prefijo urgente, además de otros operadores que podemos encontrar en las álgebras de procesos clásicas. Una característica importante del lenguaje es el tratamiento de la urgencia, puesto que en cada momento se ejecutaran tantas acciones urgentes como sea posible, con el objeto de cumplir al máximo con los requerimientos urgentes de una especificación. También en esta tesis se han tratado aspectos de composicionalidad de redes, restringiendo el ámbito de aplicación a redes obtenidas a partir de la traducción de términos y se ha incluido un método de implementación de redes.