Repositorio Zaguan - Universidad de Zaragoza 

Related links

TAZ-TFM-2011-083

Estimación de estados en redes de Petri temporizadas

Wang, Xu
Mahulea, Cristian (dir.) ; Silva Suárez, Manuel (dir.)

Universidad de Zaragoza, Centro Politécnico Superior, 2011
Departamento de Informática e Ingeniería de Sistemas, Área de Ingeniería de Sistemas y Automática

Máster en Ingeniería de Sistemas e Informática

Resumen: 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.


Palabra(s) clave (del autor): estimación de estados ; redes de petri temporizadas ; sistemas de eventos discretos ; observabilidad
Tipo de Trabajo Académico: Trabajo Fin de Master
Notas: Resumen disponible también en español.

Creative Commons License
Registrado por la Universidad de Zaragoza bajo la licencia Creative Commons.


 

 Registro creado el 2011-09-06, última modificación el 2013-05-21


Valore este documento:

Rate this document:
1
2
3
 
(Sin revisiones)