Metodología para la simulación de redes de Petri de alto nivel temporizadas [Microforma]

Abstract

La aparición de arquitecturas basadas en la existencia de varios procesadores fuertemente acoplados ha impulsado la aparición de técnicas de programación paralelas, donde el programa secuencial es particionado en subconjuntos disjuntos y ejecutado por diferentes procesadores, un campo de aplicación es en las simulaciones debido a su alto coste computacional. El formalismo elegido para la representación de los sistemas a simular es el de las redes de petri por los siguientes motivos: facilidad de uso, posibilidad de describir condiciones temporales, permite modelar con diferentes grados de detalle. El objetivo de la tesis es obtener un algoritmo que extraiga el máximo paralelismo de una red de petri de alto nivel temporizada, garantizando unos resultados de simulación correctos con la intención de facilitar su ejecución sobre una arquitectura multiprocesadora y disminuir su tiempo de ejecución. El algoritmo de simulacion paralela se basa en el concepto de distancia temporal entre dos transiciones de la red. Mediante dicho concepto se conoce la posible interaccion de dos transiciones en el tiempo, lo que facilita la localizacion del conjunto de transiciones de la red mutuamente independientes para ser disparadas concurrentemente. Los resultados obtenidos solo seran correctos si se mantienen invariantes las relaciones de causalidad existentes entre los disparos. Cuando el conjunto de disparos o tareas a realizar es mayor que el numero de procesadores surge la necesidad de optimizar la distribucion de tareas, por lo que se analizan algunos algoritmos de distribucion heuristicos. Finalmente, el algoritmo de simulacion paralela propuesto es ensayado sobre un modelo de red local ethernet.