Profesor: Dr. Eduardo Aranda Bricaire, Dr. Alejandro Rodríguez Ángeles 

Objetivo

Aprender los conceptos asociados con las Redes de Petri y Autómatas Finitos, relacionados con el modelado y diseño de sistemas de manufactura flexible (SMF) así como sistemas de eventos discretos (SED). 

Contenido

1.  Introducción. 

1.1 El concepto de evento. 
1.2 Propiedades de los DES 
1.3 Ejemplos de DES 
1.4 Niveles de abstracción para el estudio de DES (Lógico, Temporizado). 

2.  Lenguajes y Autómatas 

2.1 Definiciones de Lenguaje y Autómata. 
2.2 Operaciones con Autómatas. 
2.3 Autómatas de estado finito. 
2.4 Aplicación a DES (Seguridad, Bloqueo, Diagnóstico).  

3.  Control Supervisorio 

3.1 Control mediante supervisores. 
3.2 Especificaciones de un sistema controlado. 
3.3 Incontrolabilidad. 
3.4 Bloqueo. 
3.5 Control modular. 
3.6 Control descentralizado. 

4.  Redes de Petri (RP) 

4.1  Conceptos Básicos 
4.2  Noción de RP 
4.3  Ejemplos introductorios 
4.4  Algunos ejemplos con MEF 
4.5  Representación Numérica y Definición formal 
4.6  Propiedades e implicaciones de las RP 
4.7  Métodos de análisis y de reducción 

5.  Modelado de DES con RP. 

5.1  RP interpretadas (RPI) 
5.2  RP cronometradas (RPC) 
5.3  RP estocásticas (RPE) 
5.4  Ejemplos diversos de modelos de SED 
5.5  Técnicas de modelado 
5.6  Modelos de controladores (implementación) 
5.7  Maquinas de estado 
5.8  Grafos marcados 

6.  Programas de cómputo para el análisis y simulación de DES.

6.1 Simulación de SED 
6.2 Esquemas y herramientas de simulación de RPC 
6.3 TCT (Wonham) 
6.4 UMDES (Lafortune) 
6.5  Supremica ( Chalmers University of Technology , Sweden ) 

Bibliografía

  1.  C. Cassandras, S. Lafortune, Introduction to Discrete Event Systems, Kluwer Academic Publishers, Bosto, 1999.
  2.  S. Gaubert, Introduction aux Systèmes Dynamiques à Événements Discrets, Notes du Cours.
  3.  J. Hopcroft, J. Ullman, Introduction to Automata Theory, Languajes, and Computation, Addison-Wesley, 1979.
  4.  P.J. Ramadge, W.M. Wonham, The control of discrete event systems, IEEE Proceedings: Special Issue on Discrete Event Systems, Vol. 77, 1989, pp. 81-98.
  5.  P.J. Ramadge, W.M. Wonham, Supervisory control of a class of Discrete Event Processes, SIAM J. Control Optim., Vol. 25, 1987, pp. 206-230.
  6.  Silva, M. Las Redes de Petri: en la Informática y en la Automática. Ed. Ac, Madrid, 1985
  7.  W.M. Wonham, Notes on control of discrete-event systems, University of Toronto , 2003.
  8.  J. Wang, Timed Petri Nets Theory and Applications, Kluwer Academic Publishers, Boston , 1998.