csfcas

Teoría de Redes de Petri



Autores:
Prog. Catalina Salvati
Prog. Leandro Cofre
Prog. Francisco Suárez












Base teórica del proyecto final de la carrera de Lic. enSistemas
Universidad FASTA Bariloche

Índice
INTRODUCCIÓN 1
CONTENIDO 2
DEFINICIONES 3
DEFINICIÓN FORMAL 3
REPRESENTACIÓN 4
REPRESENTACIÓN GRÁFICA 4
REPRESENTACIÓN MATRICIAL 5
EJEMPLO 1 5MARCADO 7
EVOLUCIÓN DE MARCADO 7
SUBCLASES DE REDES DE PETRI 8
GRAFO DE ESTADOS 8
GRAFO MARCADO 8
RED DE LIBRE ELECCIÓN 8
RED SIMPLE 8
ESTRUCTURAS BÁSICAS 9
SELECCIÓN 9
ATRIBUCIÓN 9
DISTRIBUCIÓN 9CONJUNCIÓN 10
EJECUCIÓN SECUENCIAL 10
SINCRONIZACIÓN 10
CONCURRENCIA 11
CONFLICTOS 11
PROPIEDADES 12
PROPIEDADES ESTRUCTURALES 12
RDP PURA 12
RED DE PETRI ACOTADA ESTRUCTURALMENTE 12
RED DEPETRI ESTRUCTURALMENTE VIVA 12
RED DE PETRI COMPLETAMENTE CONTROLABLE 12
RED DE PETRI ESTRUCTURALMENTE CONSERVATIVA 12
RED DE PETRI (PARCIALMENTE) REPETITIVA 12
RED DE PETRI (PARCIALMENTE)CONSISTENTE 12
PROPIEDADES DE COMPORTAMIENTO 13
VIVACIDAD 13
CICLICIDAD 14
ACOTAMIENTO 15
CONSERVATIVIDAD 16
ALCANZABILIDAD 16
EXTENSIONES 18
RECURSOS COMPARTIDOS 18
ARCOS INHIBIDORES: 18VALIDACIÓN 19
MÉTODOS DE ANÁLISIS 19
TÉCNICAS ENUMERATIVAS 19
TÉCNICAS DE TRANSFORMACIÓN 20
TÉCNICAS ESTRUCTURALES 21
TIPOS DE RED 23
RDP CON PESO 23
RDP CON TIEMPO 23
RDP COLOREADAS 23
RDPJERÁRQUICAS 24
ESTOCÁSTICAS (CONCEPTOS REDES PETRI.PDF) 24
REDES DE PETRI ESTOCÁSTICAS GENERALIZADAS 25
EJERCICIOS 26
EJERCICIO Nº 1: 26
EJERCICIO Nº 2: 26
EJERCICIO Nº 3: 27
¿CÓMO MODELARÍA LA SITUACIÓNDE QUE CUANDO NO HAY MÁS BEBIDAS LA MÁQUINA RETORNE LA MONEDA? 27
EJERCICIO Nº 4: 27
EJERCICIO Nº 5: 27
EJERCICIO Nº 6: 28
EJERCICIO 7 28
EJERCICIO 8 28
RESPUESTAS A LOS EJERCICIOS 29
EJERCICIO1 29
EJERCICIO 2 29
EJERCICIO 3 30
EJERCICIO 4 30
EJERCICIO 5 31
EJERCICIO 6 31
EJERCICIO 7 31
EJERCICIO 8 32
GLOSARIO 33
CONJUNTOS 33
LÓGICA 33
ÍNDICE DE IMÁGENES 34
BIBLIOGRAFÍA 35...