000031615 001__ 31615
000031615 005__ 20190219123637.0
000031615 037__ $$aTESIS-2015-056
000031615 041__ $$aeng
000031615 080__ $$a004.7
000031615 1001_ $$aFraca Santamaría, María Estíbaliz
000031615 24500 $$aFluidization of Petri nets to improve the analysis of Discrete Event Systems
000031615 260__ $$aZaragoza$$bUniversidad de Zaragoza, Prensas de la Universidad$$c2015
000031615 300__ $$a191
000031615 4900_ $$aTesis de la Universidad de Zaragoza$$v2015-55$$x2254-7606
000031615 500__ $$aPresentado: 27 05 2015
000031615 502__ $$aTesis-Univ. Zaragoza, Informática e Ingeniería de Sistemas, 2015$$bZaragoza, Universidad de Zaragoza$$c2015
000031615 506__ $$aby-nc-nd$$bCreative Commons$$c3.0$$uhttps://creativecommons.org/licenses/by-nc-nd/3.0/
000031615 520__ $$aLas Redes de Petri (RdP) son un formalismo ampliamente aceptado para el modelado y análisis de Sistemas de Eventos Discretos (SED). Por ejemplo sistemas de manufactura, de logística, de tráfico, redes informáticas, servicios web, redes de comunicación, procesos bioquímicos, etc. Como otros formalismos, las redes de Petri sufren del problema de la ¿explosión de estados¿, en el cual el número de estados crece explosivamente respecto de la carga del sistema, haciendo intratables algunas técnicas de análisis basadas en la enumeración de estados. La fluidificación de las redes de Petri trata de superar este problema, pasando de las RdP discretas (en las que los disparos de las transiciones y los marcados de los lugares son cantidades enteras no negativas) a las RdP continuas (en las que los disparos de las transiciones, y por lo tanto los marcados se definen en los reales). Las RdP continuas disponen de técnicas de análisis más eficientes que las discretas. Sin embargo, como toda relajación, la fluidificación supone el detrimento de la fidelidad, dando lugar a la pérdida de propiedades cualitativas o cuantitativas de la red de Petri original. El objetivo principal de esta tesis es mejorar el proceso de fluidificación de las RdP, obteniendo un formalismo continuo (o al menos parcialmente) que evite el problema de la explosión de estados, mientras aproxime adecuadamente la RdP discreta. Además, esta tesis considera no solo el proceso de fluidificación sino también el formalismo de las RdP continuas en sí mismo, estudiando la complejidad computacional de comprobar algunas propiedades. En primer lugar, se establecen las diferencias que aparecen entre las RdP discretas y continuas, y se proponen algunas transformaciones sobre la red discreta que mejorarán la red continua resultante. En segundo lugar, se examina el proceso de fluidificación de las RdP autónomas (i.e., sin ninguna interpretación temporal), y se establecen ciertas condiciones bajo las cuales la RdP continua preserva determinadas propiedades cualitativas de la RdP discreta: limitación, ausencia de bloqueos, vivacidad, etc. En tercer lugar, se contribuye al estudio de la decidibilidad y la complejidad computacional de algunas propiedades comunes de la RdP continua autónoma. En cuarto lugar, se considera el proceso de fluidificación de las RdP temporizadas. Se proponen algunas técnicas para preservar ciertas propiedades cuantitativas de las RdP discretas estocásticas por las RdP continuas temporizadas. Por último, se propone un nuevo formalismo, en el cual el disparo de las transiciones se adapta a la carga del sistema, combinando disparos discretos y continuos, dando lugar a las Redes de Petri híbridas adaptativas. Las RdP híbridas adaptativas suponen un marco conceptual para la fluidificación parcial o total de las Redes de Petri, que engloba a las redes de Petri discretas, continuas e híbridas. En general, permite preservar propiedades de la RdP original, evitando el problema de la explosión de estados.
000031615 6531_ $$asistemas formales
000031615 6531_ $$ateoría de sistemas
000031615 6531_ $$ainformática
000031615 700__ $$aSilva Suárez, Manuel$$edir.
000031615 700__ $$aJúlvez Bueno, Jorge Emilio$$edir.
000031615 7102_ $$aUniversidad de Zaragoza$$bInformática e Ingeniería de Sistemas
000031615 8560_ $$fchperez@unizar.es
000031615 8564_ $$uhttps://zaguan.unizar.es/record/31615/files/TESIS-2015-056.pdf$$zTexto completo (eng)
000031615 909CO $$ooai:zaguan.unizar.es:31615$$pdriver
000031615 909co $$ptesis
000031615 9102_ $$aIngeniería de sistemas y automática$$bInformática e Ingeniería de Sistemas
000031615 980__ $$aTESIS