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
2019-02-20
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
https://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
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
https://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
https://zaguan.unizar.es/record/6509
SUPPORTED
0
MD5
https://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
https://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