Desarrollo De Herramientas De Verificación De Diagnosticabilidad En Base A Redes De Petri Desplegadas

Desarrollo de herramientas de vericación de diagnosticabilidad en
base a redes de Petri desplegadas
Alejandro Yáñez

1

1

2

y Agnes Madalinski

Escuela de Ingeniería Civil enInformática

2

Instituto de Electricidad y Electrónica

Universidad Austral de Chile, Valdivia, Chile

1

alejandroismael@gmail.com,

2

amadalin@uach.cl

El anticiparse a los eventos es unobjetivo del mundo actual y ante la incapacidad de hacer cumplida esta
ilusión lo que se busca es anticipar informadamente errores o fallas que pudieran afectar a un sistema. La capacidad
de identicarestos errores en un tiempo determinado permite decir que un sistema es diagnosticable, propiedad
que es fundamental para la mantenibilidad y ecacia de sistemas de alta complejidad que son mássensibles a
fallos. Sistemas de alta distibución como son plantas industriales, sistemas de comunicación y servicios web son
solo algunos de los beneciarios directos de los avances en esta materia. Siun sistema es diagnosticable entonces el
diagnóstico encontrará una explicación exacta para cualquier conjunto de observaciones del sistema, por otra parte si
un sistema no es diagnosticable entoncesel diagnóstico entregará una explicación ambigua e inservible. El problema
de diagnóstico de fallas se ha convertido en un tema muy importante en los últimos años para investigadores en las
áreasde inteligencia articial y control automático.
Los estudios haciendo uso de sistemas de eventos discretos han sido contantes y abundantes con el n de
resolver problemas de diagnóstico de fallas. Enparticular, el uso de máquinas de estado nito en la vericación de
diagnosticabilidad tiene la desventaja del problema de explosión de estados. Para paliar este problema las redes de
Petridesplegadas se presentan como una alternativa prometedora. Las redes de Petri son una herramienta gráca
y matemática muy útil para describir y estudiar sistemas distribuidos y paralelos. Las redes de...