000060506 001__ 60506
000060506 005__ 20170831220651.0
000060506 037__ $$aTAZ-TFM-2016-316
000060506 041__ $$aspa
000060506 1001_ $$aClavel Villagrasa, Daniel
000060506 24200 $$aDevelopment of an algorithm based on pre-assignation of buffers to enforce structural liveness in DSSP
000060506 24500 $$aDesarrollo de un algoritmo basado en la preasignación de buffers que permita la vivacidad de sistemas de red DSSP inicialmente no vivos
000060506 260__ $$aZaragoza$$bUniversidad de Zaragoza$$c2016
000060506 506__ $$aby-nc-sa$$bCreative Commons$$c3.0$$uhttp://creativecommons.org/licenses/by-nc-sa/3.0/
000060506 520__ $$aDeterministically 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.
000060506 521__ $$aMáster Universitario en Ingeniería Industrial
000060506 540__ $$aDerechos regulados por licencia Creative Commons
000060506 700__ $$aSilva Suárez, Manuel$$edir.
000060506 700__ $$aMahulea, Cristian$$edir.
000060506 7102_ $$aUniversidad de Zaragoza$$bInformática e Ingeniería de Sistemas$$cIngeniería de Sistemas y Automática
000060506 8560_ $$f612650@celes.unizar.es
000060506 8564_ $$s450269$$uhttps://zaguan.unizar.es/record/60506/files/TAZ-TFM-2016-316.pdf$$yMemoria (spa)
000060506 909CO $$ooai:zaguan.unizar.es:60506$$pdriver$$ptrabajos-fin-master
000060506 950__ $$a
000060506 951__ $$adeposita:2017-02-28
000060506 980__ $$aTAZ$$bTFM$$cEINA