Contributions to the structural and symbolic analysis of place/transition nets, with applications to flexible manufacturing systems and asynchronous circuits

Resumen

El marco general del trabajo es el análisis de sistemas de eventos discretos modelados mediante redes de Petri, en particular mediante redes lugar/transición, Se presentan contribuciones en dos familias de técnicas de análisis, las llamadas estructurales y las basadas en la generación del conjunto de estados alcanzables. Dentro de las técnicas de análisis estructural, se han desarrollado nuevos resultados en los siguientes apartados: 1) la utilización de objetos estructurales, en particular de lugares implícitos y cerrojos; 2) la utilización de descripciones lineales del conjunto de estados alcanzables, el establecimiento de la imposibilidad de obtener tales descripciones en el caso general, y su mejora; 3) el desarrollo de métodos ad hoc para subclases de redes, en particular para sistemas de procesos secuenciales simples lineales con recursos; 4) el estudio de sistemas derivados de dominios de aplicación particulares, como sistemas de fabricación flexible y circuitos asíncronos. En el ámbito de las técnicas basadas en la generación del espacio de estados, se ha desarrollado un marco general para la aplicación de técnicas de model-checking simbólico de fórmulas de lógica temporal de tiempo ramificado, utilizando diagramas de decisiones binarias como estructura de datos. Asismo dichas técnicas se han aplicado al cálculo de objetos estructurales, al análisis cunatitativo y a la síntesis de sistemas. En este último punto, se han derivado técnicas para el control de sistemas de eventos discretos, y técnicas de ayuda a la síntesis de circuitos asíncronos modelados mediante grafos de transición de señales.