Ir al contenido

Documat


Resumen de Técnicas de implementación de Redes de Petri

José Luis Briz Velasco Árbol académico

  • LA TESIS HACE UNA REVISION DE LAS TECNICAS EXISTENTES DE IMPLEMENTACION DE REDES DE PETRI, Y LLEVA A CABO UNA CLASIFICACION DE LAS MISMAS PROPONIENDO DIVERSOS CRITERIOS, SE CONCLUYE QUE LAS TECNICAS MAS UTILIZADAS SON LAS DE SIMULACION CENTRALIZADA, BASADAS EN LOS METODOS DE LUGARES REPRESENTANTES MARCADOS (LR) Y TRANSICIONES SENSIBILIZADAS (TS), PERO QUE A PESAR DE SU INTENSIVA UTILIZACION SE HA DEDICADO ESCASO ESFUERZO A LA INVESTIGACION Y MEJORA DE SUS FUNDAMENTOS. POR OTRA PARTE, SE CONSTATA UN INTERES EMERGENTE DURANTE LOS CINCO ULTIMOS AÑOS EN LAS TECNICAS DE REALIZACION DISTRIBUIDA SIGUIENDO METODOS DE COMPILACION DIRIGIDA POR LA RED QUE TIENEN MULTICOMPUTADORES COMO ARQUITECTURA DESTINO, AUNQUE LOS TRABAJOS EXISTENTES NO TIENEN EN CONSIDERACION LA PESADA SOBRECARGA DEBIDA A LAS COMUNICACIONES ENTRE LOS DISTINTOS PROCESOS GENERADOS. ESTA SOBRECARGA DEPENDE EN GRAN MEDIDA DE LAS ESTRATEGIAS DE ENCAMINAMIENTO Y ASIGNACION (MAPPING), QUE NO SON TENIDAS EN CUENTA. EN CONSECUENCIA, LOS OBJETIVOS DE LA TESIS SON LA IDENTIFICACION DE LOS ASPECTOS BASICOS DE UN SIMULADOR CENTRALIZADO, PARA SU MEJORA, Y EL DESARROLLO DE UN ENTORNO DE REALIZACION DISTRIBUIDA MEDIANTE COMPILACION DIRIGIDA POR LA RED CUYA ARQUITECTURA SUBYACENTE ES UNA MALLA DE TRANSPUTERS.

    EN RELACION A LAS TECNICAS DE SIMULACION CENTRALIZADA SE DETERMINAN COMO FUNDAMENTALES TRES ASPECTOS: EL TEST DE SENSIBILIZACION, LA BUSQUEDA DE TRANSICIONES SENSIBILIZADAS Y LA ACTUALIZACION DEL MARCADO. EL TEST DE SENSIBILIZACION REQUIERE UN TEST POR CADA LUGAR DE ENTRADA A UNA TRANSICION (CONDICION COMPLEJA DE SENSIBILIZACION, CCS), DE DISTINTO TIPO SEGUN EL ARCO SEA O NO INHIBIDOR. EN LA TESIS SE INTRODUCE EL CONCEPTO DE REGION DE DISPARABILIDAD POTENCIAL (RDP) DE UNA TRANSICION Y SE HACE UNA CLASIFICACION DE LAS TRANSICIONES SEGUN LA FORMA DE DICHA REGION. SEIS CLASES DE TRANSICIONES, LAS DENOMINADAS SIMPLES, POSEEN UNA RDP DISCRIMINABLE EN UN ESPACIO ENTERO N-DIMENSIONAL ME


Fundación Dialnet

Mi Documat