000006509 001__ 6509
000006509 005__ 20190220130407.0
000006509 037__ $$aTAZ-TFM-2011-084
000006509 041__ $$aeng
000006509 1001_ $$aFraca Santamaría, María Estíbaliz
000006509 24500 $$aRedes de Petri híbridas adaptativas : alcanzabilidad y ausencia de bloqueos
000006509 260__ $$aZaragoza$$bUniversidad de Zaragoza$$c2011
000006509 506__ $$aby-nc-sa$$bCreative Commons$$c3.0$$uhttp://creativecommons.org/licenses/by-nc-sa/3.0/
000006509 520__ $$aLas 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.
000006509 521__ $$aMáster Universitario en Ingeniería de Sistemas e Informática
000006509 540__ $$aDerechos regulados por licencia Creative Commons
000006509 6531_ $$aredes de petri
000006509 6531_ $$aredes de petri híbridas
000006509 6531_ $$asistemas híbridos
000006509 6531_ $$aalcanzabilidad
000006509 6531_ $$aausencia de bloqueos
000006509 6531_ $$asistemas adaptativos
000006509 700__ $$aJúlvez Bueno, Jorge Emilio$$edir.
000006509 700__ $$aSilva Suárez, Manuel$$edir.
000006509 7102_ $$aUniversidad de Zaragoza$$bInformática e Ingeniería de Sistemas$$cLenguajes y Sistemas Informáticos
000006509 8560_ $$f538316@celes.unizar.es
000006509 8564_ $$s472169$$uhttps://zaguan.unizar.es/record/6509/files/TAZ-TFM-2011-084.pdf$$yMemoria (eng)
000006509 909CO $$ooai:zaguan.unizar.es:6509$$pdriver$$ptrabajos-fin-master
000006509 950__ $$a
000006509 980__ $$aTAZ$$bTFM$$cCPS