TEMA III-3.



VALIDACION FUNCIONAL DE UNA DESCRIPCION: RdP AUTONOMAS



CONTENIDOS


1. INTRODUCCION.

1.1. Propiedades Básicas del Funcionamiento de los Sistemas con Evoluciones Simultáneas.

2. ANALISIS POR ENUMERACION: GRAFOS MARCADOS.

2.1. Construcción del Grafo de Marcados.
2.2. Análisis a partir del Grafo de Marcados.

3. ANALISIS POR REDUCCION.

3.1. Reducción de una SubRed de Petri a un Lugar.
3.2. Sustitución de un Lugar.
3.3. Eliminación de una Transición.

4. METODOS BASADOS EN EL ALGEBRA LINEAL.

4.1. Conservatividad y Repetitividad: Análisis Global.
4.2. Invariantes de Marcado y de Disparo: Análisis Local.

5. METODOS DE CERROJOS Y TRAMPAS.

5.1. Definiciones y Propiedades Básicas.
5.2. Obtención de los Cerrojos y Trampas en una Red de Petri.




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