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

Abstract

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.