Página principal > Desarrollo de un algoritmo basado en la preasignación de buffers que permita la vivacidad de sistemas de red DSSP inicialmente no vivos
TAZ-TFM-2016-316
Desarrollo de un algoritmo basado en la preasignación de buffers que permita la vivacidad de sistemas de red DSSP inicialmente no vivos
Resumen: Deterministically Synchronized Sequential Process (DSSP) definen una subclase de sistemas descritos con Redes de Petri (RdP). Están compuestos por un conjunto de máquinas de estado (también llamadas agentes) que cooperan a través del paso asíncrono de mensajes. La estructura modular de las redes DSSP permite obtener fuertes resultados analíticos (por ejemplo, el teorema de rango proporciona condiciones necesarias y suficientes para asegurar vivacidad estructural). Este trabajo considera el problema de forzar estructuras vivas a partir de otras de tipo DSSP estructuralmente no vivas. Para algunas estructuras particulares de tipo DSSP en las cuales el teorema de rango demuestra que son estructuralmente no vivas, se provee un algoritmo basado en la preasignación de los buffers que la asegura. El algoritmo ha sido aplicado a DSSP que modelan sistemas reales de producción y salud. Se ha observado que en los sistemas de producción (lógica de consumo/producción de items) el algoritmo además de convertir la red viva, mantiene el significado físico del modelo. Por contra, en los sistemas de salud (lógica de producción/consumo de mensajes) al aplicar el algoritmo la red resultante es viva pero puede perderse el propósito del modelo.