Alejandro Yáñez Martínez, estudiante de la carrera de Ingeniería Civil Informática de la Universidad Austral de Chile, participará en el Workshop de Sistemas Distribuidos y Paralelismo enmarcado en las Jornadas Chilenas de Computación 2010. En la instancia, que se llevará a cabo desde el 15 al 19 de noviembre, expondrá su trabajo e tesis de grado «Desarrollo de herramientas de verificación de diagnosticabilidad en base a redes de Petri desplegadas».
La tesis, que forma parte del proyecto Fondecyt N°11090257, aborda la implementación de un conjunto de herramientas que apuntan a la automatización de los diagnósticos de sistemas, utilizando redes de Petri desplegadas. Éstas últimas, pueden ser descritas como herramientas gráficas y matemáticas que prestan una alta utilidad a la hora de describir y estudiar sistemas distribuidos y paralelos.