TEMA III-4.



VALIDACION FUNCIONAL DE UNA DESCRIPCION: RdP NO AUTONOMAS



CONTENIDOS


1. INTRODUCCION.

2. ANALISIS DE LAS REDES DE PETRI TEMPORIZADAS.

2.1. Estudio de la Limitación.
2.2. Estudio de la Vivacidad.

3. ANALISIS DE LAS REDES DE PETRI INTERPRETADAS.

3.1. Estudio de la Limitación.
3.2. Estudio de la Vivacidad.
3.3. Marcados Alcanzables y Secuencias Disparables.

4. VALIDACION DINAMICA DE UNA DESCRIPCION.

5. METODOLOGIAS DE DESCRIPCION DE SISTEMAS COMPLEJOS. ASPECTOS BASICOS.




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