Tesis doctoral de Olga Marroquin Alonso
En el trabajo se realiza un estudio exhaustivo de una extensión con tiempo de pbc (petri box calculus), que es un modelo formal de especificación de sistemas concurrentes en el que se da especial importancia a la sincronización y el paralelismo, y cuya semántica denotacional utiliza como soporte redes de petri. la tesis comienza con la exposición detallada de un modelo básico para el que se define una semántica operacional, formada por un conjunto de relgas de transición al estilo plotkin, y una semántica denotacional, que genera un álgebra de redes de petri temporizadas. A continuación se introducen los elementos necesarios para incorporar la urgencia en la ejecución de dichas acciones, y al estudio de un nuevo operador, denominado time-out con excepción, que permite el establecimiento de ocmportamientos alternativos. la urgencia de los procesos, característica imprescindible en la modelización de sistemas temporizados reales, se refuerza con una tercera modificación en la que se incorpora el máximo paralelismo, que facilita la ejecución más rápida posible de las acciones de una expresión de proceso. el resultado técnico fundamental del trabajo es la equiValencia entre las semánticas operacional y denontacional del modelo definido, en el sentido de que ambas definen comportamientos equivalentes para cada expresión. durante todo el análisis, el dominio de tiempo considerado es discreto, pues de esta forma se consiguen importantes simplifaciones, que nos conducen a un modelo más tratable pero suficientemente expresivo. la tesis se completa con los resultados obtenidos sobre una segunda extensión de pbc que incorpora al cálculo de cajas el concepto de ambiente de cardelli, tratando satisfactoriamente los aspectos relativos a la movilidad. Ello representa una vía de ampliación del modelo básico que incorpora a su semátncia operacional reglas equivalentes a las que definen el cálculo de ambientes, y cuya
Datos académicos de la tesis doctoral «Tpbc: un calculo sobre redes de petri con tiempo«
- Título de la tesis: Tpbc: un calculo sobre redes de petri con tiempo
- Autor: Olga Marroquin Alonso
- Universidad: Complutense de Madrid
- Fecha de lectura de la tesis: 12/12/2003
Dirección y tribunal
- Director de la tesis
- Frutos Escrig David De
- Tribunal
- Presidente del tribunal: ricardo Peña marí
- laura Recalde frison (vocal)
- maciej Koutny (vocal)
- valentín Valero ruíz (vocal)