Tesis doctoral de Antonio Bueno Aroca
Tpalp es un lenguaje algebraico para la descripción de sistemas concurrentes con capacidad para expresar 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ásicos. 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 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.
Datos académicos de la tesis doctoral «Traducción de tpalp en una clase probabilistica y temporizada de redes de petri«
- Título de la tesis: Traducción de tpalp en una clase probabilistica y temporizada de redes de petri
- Autor: Antonio Bueno Aroca
- Universidad: Castilla-la mancha
- Fecha de lectura de la tesis: 06/04/2006
Dirección y tribunal
- Director de la tesis
- Valentin Valero Ruiz
- Tribunal
- Presidente del tribunal: Quiles flor Francisco jose
- Manuel Nuñez garcia (vocal)
- Frutos secrig david de (vocal)
- Oliver villarroya Francisco Javier (vocal)