6509 20190220130407.0 TAZ-TFM-2011-084 eng Fraca Santamaría, María Estíbaliz Redes de Petri híbridas adaptativas : alcanzabilidad y ausencia de bloqueos Zaragoza Universidad de Zaragoza 2011 by-nc-sa Creative Commons 3.0 http://creativecommons.org/licenses/by-nc-sa/3.0/ Las redes de Petri (RdP) son un paradigma formal ampliamente aceptado para el modelado de sistemas de eventos discretos. No obstante, con poblaciones de gran tamaño, aparece el problema de la explosión de estados (crecimiento exponencial del tamaño del conjunto de estados alcanzables). Una manera de paliar este problema consiste en fluidificar el formalismo y considerar redes de Petri continuas, que permiten abordar de manera eficiente el estudio de los sistemas mediante técnicas lineales de análisis. Sin embargo, las RdP continuas no siempre preservan sus propiedades, como por ejemplo la ausencia de bloqueos. En este Trabajo se introduce, formaliza y estudia un formalismo nuevo, denominado redes de Petri híbridas adaptativas (HAPN), que combina comportamiento continuo y discreto: El comportamiento de las transiciones de la red adaptativa es variable: una transición se comporta como continua si su carga de trabajo supera un umbral establecido inicialmente, en caso contrario se comporta como discreta. Estas redes pueden aproximar mejor las redes discretas, mientras que cuando las poblaciones son elevadas el comportamiento es continuo y las técnicas lineales son aplicables, evitando el problema de la explosión de estados. De esta manera, las HAPN constituyen un marco conceptual muy general que incluye a las redes de Petri discretas,continuas e híbridas. En este trabajo, se ha definido formalmente el formalismo de redes de Petri adaptativas. A continuación, se ha caracterizado el conjunto de marcados alcanzables de las redes de Petri adaptativas, así como se compara con el de las RdP discretas. Por ultimo, se ha estudiado la propiedad de ausencia de bloqueos: se trata de determinar si la red adaptativa preserva la ausencia de bloqueos de la red discreta con misma estructura y marcado inicial. Máster Universitario en Ingeniería de Sistemas e Informática Derechos regulados por licencia Creative Commons redes de petri redes de petri híbridas sistemas híbridos alcanzabilidad ausencia de bloqueos sistemas adaptativos Júlvez Bueno, Jorge Emilio dir. Silva Suárez, Manuel dir. Universidad de Zaragoza Informática e Ingeniería de Sistemas Lenguajes y Sistemas Informáticos 538316@celes.unizar.es 472169 http://zaguan.unizar.es/record/6509/files/TAZ-TFM-2011-084.pdf Memoria (eng) oai:zaguan.unizar.es:6509 driver trabajos-fin-master TAZ TFM CPS