Metodología para la simulación de Redes de Petri de alto nivel temporizadas
- Autores: Pablo Hernández Morera
- Directores de la Tesis: Juan Domingo Sandoval González (dir. tes.)
- Lectura: En la Universidad de Las Palmas de Gran Canaria ( España ) en 1997
- Idioma: español
- Tribunal Calificador de la Tesis: Juan Antonio de la Puente Alfaro (presid.), Francisco Javier Guerra Santana (secret.), Juan Carlos Dueñas López (voc.), Francisco Javier Miranda González (voc.), Miguel Ángel Ferrer Ballester (voc.)
- Materias:
- Enlaces
- Tesis en acceso abierto en: acceda
- Resumen
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.
