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:6508 2015-04-29
eng Wang, Xu Mahulea, Cristian Silva Suárez, Manuel Estimación de estados en redes de Petri temporizadas http://zaguan.unizar.es/record/6508/files/TAZ-TFM-2011-083.pdf Este trabajo propone un algoritmo para la estimación de estados "online" de redes de Petri temporizadas (timed Petri nets) sin conflicto (del tipo "choice-free"). Además, proporciona algunas ideas sobre cómo el procedimiento puede ser adaptado a una particular clase de sistemas distribuidos. En primer lugar, se presenta un algoritmo para calcular el conjunto de marcados consistentes, y a continuación la información temporal se agrupa en un conjunto de ecuaciones temporales, el cual se emplea para la reducción del conjunto de marcados consistentes. También se presentan algunas reglas de reducción, las cuales pueden ser empleadas tambén para la reducción del espacio de estados de los sistemas temporizados, realizando la fusión de las transiciones indistinguibles. En segundo lugar, se discute el caso general, las redes con conflicto (que no son "choice-free"). Por último, un ejemplo ilustra cómo adaptar este método a sistemas distribuidos. La comunicación para llevar a cabo la estimación de estados se realiza mediante "agentes" de sistemas distribuidos. 2014-11-28
6508 20150429092417.0 TAZ-TFM-2011-083 eng Wang, Xu Estimación de estados en redes de Petri temporizadas Zaragoza Universidad de Zaragoza 2011 by-nc-sa Creative Commons 3.0 http://creativecommons.org/licenses/by-nc-sa/3.0/ Resumen disponible también en español. Este trabajo propone un algoritmo para la estimación de estados "online" de redes de Petri temporizadas (timed Petri nets) sin conflicto (del tipo "choice-free"). Además, proporciona algunas ideas sobre cómo el procedimiento puede ser adaptado a una particular clase de sistemas distribuidos. En primer lugar, se presenta un algoritmo para calcular el conjunto de marcados consistentes, y a continuación la información temporal se agrupa en un conjunto de ecuaciones temporales, el cual se emplea para la reducción del conjunto de marcados consistentes. También se presentan algunas reglas de reducción, las cuales pueden ser empleadas tambén para la reducción del espacio de estados de los sistemas temporizados, realizando la fusión de las transiciones indistinguibles. En segundo lugar, se discute el caso general, las redes con conflicto (que no son "choice-free"). Por último, un ejemplo ilustra cómo adaptar este método a sistemas distribuidos. La comunicación para llevar a cabo la estimación de estados se realiza mediante "agentes" de sistemas distribuidos. Máster en Ingeniería de Sistemas e Informática Derechos regulados por licencia Creative Commons estimación de estados redes de petri temporizadas sistemas de eventos discretos observabilidad Mahulea, Cristian dir. Silva Suárez, Manuel dir. Universidad de Zaragoza Informática e Ingeniería de Sistemas Ingeniería de Sistemas y Automática xuwang@unizar.es 271906 http://zaguan.unizar.es/record/6508/files/TAZ-TFM-2011-083.pdf Memoria (eng) Memoria (eng) oai:zaguan.unizar.es:6508 trabajos-fin-master driver TAZ TFM CPS URI http://zaguan.unizar.es/record/6508 SUPPORTED 0 MD5 http://zaguan.unizar.es/record/6508/files/TAZ-TFM-2011-083.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/6508/files/TAZ-TFM-2011-083.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