Resumen de Análisis estructural de Redes de Petri, programación lineal y geometría convexa
EL TEMA DE ESTE TRABAJO ESTA RELACIONADO CON EL ANALISIS ESTRUCTURAL DE REDES DE PETRI, ESTAS REDES SON UNA HERRAMIENTA FORMAL DE MODELADO DE SISTEMAS CONCURRENTES INTRODUCIDA EN 1962 POR C.A. PETRI. LA LABOR DESARROLLADA CONSISTE EN ESTABLECER UN PUENTE ENTRE DOS DOMINIOS TAN APARENTEMENTE ALEJADOS COMO SON LAS REDES DE PETRI Y LA PROGRAMACION MATEMATICA. UN PRIMER ASPECTO DE LA CONEXION SE BASA EN LA IDENTIFICACION DE LOS CONCEPTOS DE SEMIFLUJO (EN REDES DE PETRI) Y DIRECCION EXTREMA DE UN CONO EN GEOMETRIA CONVEXA. FRUTO DE ESTA IDENTIFICACION SE PRESENTAN DOS ALGORITMOS PARA EL CALCULO DE SEMIFLUJOS QUE MEJORAN LAS PRESTACIONES DE ALGORITMOS CONOCIDOS ENTRE UNO Y DOS ORDENES DE MAGNITUD. UN RESULTADO ADICIONAL ES LA CARACTERIZACION DE LUGARES ESTRUCTURALMENTE IMPLICITOS, QUE SON IMPLICITOS, MEDIANTE UN UNICO PROBLEMA DE PROGRAMACION LINEAL. ELLO CONLLEVA LA APLICACION DE ALGORITMOS POLINOMICOS FRENTE A LOS EXPONENCIALES CONVENCIONALES, ASI COMO EL ESTABLECIMIENTO DE UNA FUERTE CORRELACION ENTRE LA TEORIA DE DUALIDAD DE PROGRAMACION LINEAL Y LAS TECNICAS DE ANALISIS ESTRUCTURAL EN REDES DE PETRI.
SE PROPONE UNA METODOLOGIA DE VERIFICACION ESTRUCTURAL DE SISTEMAS CONCURRENTES MODELADOS MEDIANTE REDES DE PETRI QUE SE BASA EN LA ADOPCION DE UN LENGUAJE BASADO EN LA LOGICA DE PREDICADOS A TRAVES DEL QUE ES POSIBLE EXPRESAR DE FORMA RIGUROSA ASERCIONES RELEVANTES PARA UN DISEÑADOR Y EN LA UTILIZACION DE TECNICAS DE VERIFICACION PROCEDENTES DE LA TEORIA DE PROGRAMACION LINEAL. LA INTRODUCCION DE LA TEORIA DE DUALIDAD PERMITE PRESENTAR UN MARCO UNIFICADO PARA LAS TECNICAS DE VERIFICACION ESTRUCTURAL. ESTAS TECNICAS PRESENTAN LIMITACIONES DERIVADAS DE LA RELAJACION LINEAL DE LOS CONJUNTOS DE MARCADOS ALCANZABLES Y SECUENCIAS DISPARABLES MEDIANTE LA ECUACION DE ESTADO DE LA RED. ELLO ES DEBIDO A LA APARICION DE SOLUCIONES ESPUREAS (NO REALIZABLES) QUE HACEN QUE LAS CONCLUSIONES DERIVADAS DE UNA VERIFICACION ESTRUCTURAL LINEAL SOLO SE
