General
Proveer al estudiante los conceptos y técnicas sobre redes de Petri y sus extensiones. Introducir las principales aplicaciones al modelado y análisis de procesos de eventos discretos.

Específicos

1. El formalismo básico
1.1. Definición
1.2. Redes de Petri (RP) ordinarias y generalizadas
1.3. Representación matricial
1.4. Descripción de sistemas entrada-salida
1.5. Modelos de sistemas
2. Propiedades y técnicas de análisis
2.1. Propiedades
2.2. Análisis enumerativo y reducciones
2.3. Análisis matricial (invariantes)
3. Técnicas de modelado
3.1. Métodos descendentes (top-down) y ascendentes (bottom-up)
3.2. Métodos híbridos
4. Extensiones de RP
4.1. RP temporizados, modelado y análisis
4.2. RP coloreados
4.3. RP anidados
5. RP de libre elección
5.1. Definición y propiedades
5.2. Sistemas S y sistemas T
5.3. Vivacidad y el teorema de Commoner Los teoremas de cobertura
6. Tópicos sobre aplicaciones
6.1. Lenguajes de Redes de Petri
6.2. Modelado de flujo de trabajo
6.3. Descubrimiento automático de modelos

1. Peterson, J. "Petri nets theory and the modeling of systems" Prentice Hall 1981.
2. Silva, M. "Las redes de Petri: en la automática y en la informática". Ed. AC Madrid. López, E. "IntroducciónalasredesdePetri". Apuntes U. A. de NuevoLeón.1997.
3. Artículos diversos.

• Proyecto final 0%
• Exámenes parciales 0%
• Total 0%

• Conocimientos:
• Habilidades:
• Actitudes y valores: