Redes Petri

Universidad Nacional de Ingeniería Recinto Universitario Simón Bolívar Facultad de Electrotecnia y Computación Ingeniería en Computación
Simulación Redes Petri

Integrantes:

Liesel Carolina Cruz Contreras Freddy René Escobar Ortíz

2009-29757 2009-29731

Docente:

Ing. Norman René Trujillo Zapata

Grupo : Fecha:

4T3 Co.
5 de Junio 2012

Tabla de contenido
Introducción.................................................................................................................................................. 3 Objetivos ....................................................................................................................................................... 4Contenido...................................................................................................................................................... 5 Definición .................................................................................................................................................. 5 Representación Gráfica: ........................................................................................................................ 5 Representación Matricial...................................................................................................................... 7 Utilidad ...................................................................................................................................................... 7 Propiedades.............................................................................................................................................. 8 Propiedades Dinámicas ......................................................................................................................... 8 Propiedades Estructurales .................................................................................................................... 9 Forma de Funcionamiento...................................................................................................................... 10 Representación de Sistemas por medio de Redes de Petri .................................................................... 11 EJEMPLOS ............................................................................................................................................ 13 Métodos de Análisis................................................................................................................................ 14 Árbol de Alcanzabilidad ...................................................................................................................... 14 Conclusión................................................................................................................................................... 14 Reflexión Final ............................................................................................................................................. 15 Bibliografía .................................................................................................................................................. 15

Introducción

Una red Petri es un grafo orientadocon dos clases de nodos: Lugares y Transiciones, posee arcos que unen un lugar con una transición y viceversa. Las Redes de Petri pueden considerarse como autómatas formales o como generadores de lenguajes formales y tienen asociación con la teoría de grafos.

Las redes de Petri fueron inventadas por el alemán Karl Adam Petri en 1962. En su tesis doctoral “kommunikation mit automaten”(Comunicación con autómatas), establece los fundamentos para el desarrollo teórico de los conceptos básicos de las redes Petri. Son excelentes para representar procesos concurrentes, así como, procesos donde pueden existir restricciones sobre la concurrencia, precedencia, o frecuencia de esas ocurrencias. Las Redes de Petri han demostrado su utilidad para modelar sistemas de eventos discretos y, en general,...