Tesis doctoral de Hernandez Morera Pablo Vicente
La aparicion de arquitecturas basadas en la existencia de varios procesadores fuertemente acoplados ha impulsado la aparicion de tecnicas de programacion paralelas, donde el programa secuencial es particionado en subconjuntos disjuntos y ejecutado por diferentes procesadores. un campo de aplicacion es en las simulaciones debido a su alto coste computacional. El formalismo elegido para la representacion 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 maximo paralelismo de una red de petri de alto nivel temporizada, garantizando unos resultados de simulacion correctos con la intencion de facilitar su ejecucion sobre una arquitectura multiprocesadora y disminuir su tiempo de ejecucion. 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.
Datos académicos de la tesis doctoral «Metodología para la simulacion de redes de petri de alto nivel temporizadas.«
- Título de la tesis: Metodología para la simulacion de redes de petri de alto nivel temporizadas.
- Autor: Hernandez Morera Pablo Vicente
- Universidad: Palmas de gran canaria
- Fecha de lectura de la tesis: 01/01/1997
Dirección y tribunal
- Director de la tesis
- Sandoval Gonzalez Juan Domingo
- Tribunal
- Presidente del tribunal: Juan Antonio De La Puente Alfaro
- Javier Miranda Gonzalez (vocal)
- Juan Carlos Dueñas Lopez (vocal)
- Miguel Angel Ferrer Ballester (vocal)