TEMA III-1.



RdP. FORMALIZACION Y APLICACION A LA MODELIZACION FUNCIONAL DE SISTEMAS CONCURRENTES



CONTENIDOS


1. INTRODUCCION.

1.1. Sistemas Discretos Basados en Eventos.

2. REDES DE PETRI: DEFINICIONES Y PROPIEDADES.

2.1. Definiciones.
2.2. Configuraciones y Propiedades Básicas.
2.3. Relación con Otros Métodos de Modelado.

3. REDES DE PETRI AUTONOMAS.

3.1. Terminología Básica.
3.2. Ecuación de Estado de una Red de Petri.

4. DESCRIPCION DE SISTEMAS LOGICOS CONCURRENTES.

4.1. Interpretación Asociada a las Redes de Petri.
4.2. Transformaciones sobre Condiciones Externas y Eventos.

5. EJEMPLOS DE MODELADO CON REDES DE PETRI.




BIBILIOGRAFIA: [BRAM-86a], [HO-92], [PETE-86], [SILV-85].