Universidad de Zaragoza Custodiado por la Biblioteca de la Universidad de Zaragoza Premis-plugin for CDSInvenio, developed by Miguel Martín Miguel Martín González
oai:zaguan.unizar.es:6509 2015-03-25
eng Fraca Santamaría, María Estíbaliz Júlvez Bueno, Jorge Emilio Silva Suárez, Manuel Redes de Petri híbridas adaptativas : alcanzabilidad y ausencia de bloqueos http://zaguan.unizar.es/record/6509/files/TAZ-TFM-2011-084.pdf 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. 2014-11-28
6509 20150325135908.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 http://creativecommons.org/licenses/by-nc-sa/3.0/ by-nc-sa Creative Commons 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 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 URI http://zaguan.unizar.es/record/6509 SUPPORTED 0 MD5 http://zaguan.unizar.es/record/6509/files/TAZ-TFM-2011-084.md5 0 image/x.djvu 6 http://djvu.sourceforge.net/abstract.html DJVU/6 Profile information Lizardtech Document Express Enterprise 5.1 0 URI http://zaguan.unizar.es/record/6509/files/TAZ-TFM-2011-084.pdf disk Minimum View Print Visualization of DJVU requires specific software, like DjVu Browser Plugin URI http://creativecommons.org/licenses/by-nc/3.0 URI http://creativecommons.org/licenses/by-nc/3.0 license URI http://creativecommons.org/licenses/by-nc/3.0 You are free to adapt, copy, transmite or distribute the work under the following conditions: (1) You must attribute the work in the manner specified by the author or licensor (but not in any way that suggests that they endorse you or your use of the work). (2) You may not use this work for commercial purposes (3) For any reuse or distribution, you must make clear to others the license terms of this work (4) Any of the above conditions can be waived if you get permission from the copyright holder (5) Nothing in this license impairs or restricts the author's moral rights This object is licensed under Creative Common Attribution-NonCommercial 3.0 (further details: http://creativecommons.org/licenses/by-nc/3.0/). Universidad de Zaragoza Automatizacion de Bibliotecas Edif. Matematicas, Pedro Cerbuna 12, 50009 Zaragoza auto.buz@unizar.es