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

• Autores: Fernando García Vallés
• Directores de la Tesis: José Manuel Colom Piazuelo (dir. tes.)
• Lectura: En la Universidad de Zaragoza ( España ) en 1999
• Idioma: inglés
• Tribunal Calificador de la Tesis: Manuel Silva Suárez (presid.) , Joaquín Ezpeleta Mateo (secret.) , Jean-Michael Couvreur (voc.) , David de Frutos Escrig (voc.) , Valentín Valero Ruiz (voc.)
• Texto completo no disponible (Saber más ...)
• 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.