Las redes de Petri en la paralelización eficiente de aplicaciones: caso de uso

En este trabajo se presenta el método basado en modelos de Redes de Petri para el análisis y paralelización eficiente de aplicaciones programadas con un paradigma secuencial. Primeramente, se realiza el modelo de la aplicación secuencial. Enseguida, se analizan las partes paralelizables, y se presenta un modelo en Red de Petri de la aplicación paralelizada. A partir del modelo en Red de Petri, se realiza la verificación de la construcción del modelo y se analiza de manera informal la relación de los P-Invariantes con la paralelización del modelo. Finalmente, se realiza una comparación del tiempo de cómputo entre el paradigma secuencial y el paralelo. Se utiliza la multiplicación de matrices como caso de estudio y se reportan los resultados experimentales.Universidad de Guadalajar

Construcción de observadores de secuencias para sistemas de eventos discretos

Este trabajo presenta el diseño e implementación de algoritmos para la construcción de observadores de secuencias para sistemas de eventos discretos. El modelo del sistema se captura como una Red de Petri, mientras que la implementación del es quema del observador se realiza en Simulink. Los algoritmos permiten verificar la propiedad de observabilidad, a la vez que construyen la matriz de detección de secuencias sobre la que se basa el funcionamiento del observador.Universidad de GuadalajaraITESO, A.C