Facultad de Ingeniería Manufactura Integrada Por Computador II
Nicolás Germán Calvo - Nicolás Germán Calvo Gonzalo Luna - Gonzalo Luna – Pablo Bianchi – Pablo Bianchi – Juan Pablo Vita – Juan Pablo Vita Trabajo Grupal “Teoría de Redes de Petri”
Introducción Las Redes de Petri (RdP) son una teoría matemática, que proporciona una herramienta gráfica de modelado para la descripción formal de sistemas cuya dinámica se caracteriza por la concurrencia, sincronización, exclusión mutua y conflictos, las cuales son características típicas de sistemas distribuidos. Pretenden realizar el estudio de sistemas lógicos secuenciales desde un punto de vista funcional. O sea, describen como opera el sistema.
Definiciones Pretende realizar el estudio de sistemas lógicos secuenciales desde un punto de vista funcional. O sea, describen como opera el sistema. Es un grafo orientado con 2 tipos de nodos, lugares y transiciones, unidos alternativamente por arcos dirigidos. Los lugares se representan gráficamente con círculos Las transiciones con segmentos. Los arcos son orientados y unen lugares con transiciones.
Definiciones Un lugar puede contener un número de marcas positivo o nulo (cada marca se representa gráficamente por un punto en el lugar). El conjunto de marcas asociadas, en un instante dado, a los lugares, constituye un marcado de la Red de Petri. Los arcos son orientados y unen lugares con transiciones.
Definiciones Las marcas se representan como puntos negros en los lugares. Los lugares que contienen marcas se consideran lugares activos. Representación gráfica de una Rdp.