000006508 001__ 6508
000006508 005__ 20170831220337.0
000006508 037__ $$aTAZ-TFM-2011-083
000006508 041__ $$aeng
000006508 1001_ $$aWang, Xu
000006508 24500 $$aEstimación de estados en redes de Petri temporizadas
000006508 260__ $$aZaragoza$$bUniversidad de Zaragoza$$c2011
000006508 506__ $$aby-nc-sa$$bCreative Commons$$c3.0$$uhttp://creativecommons.org/licenses/by-nc-sa/3.0/
000006508 500__ $$aResumen disponible también en español.
000006508 520__ $$aEste 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.
000006508 521__ $$aMáster Universitario en Ingeniería de Sistemas e Informática
000006508 540__ $$aDerechos regulados por licencia Creative Commons
000006508 6531_ $$aestimación de estados
000006508 6531_ $$aredes de petri temporizadas
000006508 6531_ $$asistemas de eventos discretos
000006508 6531_ $$aobservabilidad
000006508 700__ $$aMahulea, Cristian$$edir.
000006508 700__ $$aSilva Suárez, Manuel$$edir.
000006508 7102_ $$aUniversidad de Zaragoza$$bInformática e Ingeniería de Sistemas$$cIngeniería de Sistemas y Automática
000006508 8560_ $$fxuwang@unizar.es
000006508 8564_ $$s271906$$uhttps://zaguan.unizar.es/record/6508/files/TAZ-TFM-2011-083.pdf$$yMemoria (eng)$$zMemoria (eng)
000006508 909CO $$ooai:zaguan.unizar.es:6508$$ptrabajos-fin-master$$pdriver
000006508 950__ $$a
000006508 980__ $$aTAZ$$bTFM$$cCPS