Redes de Petri
Páginas: 2 (386 palabras)
Publicado: 13 de mayo de 2014
Redes de Petri
Definición y conceptos
Una red de Petri es un grafo orientado con dos tipos de nodos: lugares (Representados mediante circunferencias) y transiciones (representadas por segmentosrectos verticales).
Desarrolladas por Carl Adam Petri en 1962.
Herramienta gráfica para modelar concurrencia y sincronización en sistemas distribuidos.
Muy similar a los Diagramas de Transición deEstados.
Utilizado como método de descripción visual del comportamiento de sistemas dinámicos.
Bases teóricas matemáticamente sólidas.
Los lugares y las transiciones se unen mediante arcos oflechas
Un arco une siempre lugares con transiciones y nunca dos lugares o dos transiciones.
Una transición puede ser destino de varios lugares y un lugar puede ser el destino devarias transiciones.
Una transición puede ser origen de varios lugares y un lugar puede ser origen de varias transiciones.
Los lugares pueden presentar marcas (una marca se representa medianteun punto en el interior del círculo).
Cada lugar tiene asociada una acción o salida.
Los lugares que contienen marcas se consideran lugares activos.
Cuando un lugar está activo sus salidasestán a uno.
A las transiciones se les asocia eventos (funciones lógicas de las variables de entrada).
Una transición se dice que está sensibilizada cuando todos sus lugares origen están marcados.Cuando ocurre un evento asociado a una transición
Reglas de evolución de marcado
El marcado cambia al franquear las transiciones.
Para franquear una transición ha de estarvalidada y sensibilizada.
Cuando una transición se franquea desaparecen las marcas de los lugares origen y se añade una marca a cada uno de los lugares destino.
Un lugar puede tenermás de una marca, ejemplo:
Cuando dos transiciones que están sensibilizadas a la vez, pueden entrar en conflicto, ejemplo:
Para que la red sea válida las...
Definición y conceptos
Una red de Petri es un grafo orientado con dos tipos de nodos: lugares (Representados mediante circunferencias) y transiciones (representadas por segmentosrectos verticales).
Desarrolladas por Carl Adam Petri en 1962.
Herramienta gráfica para modelar concurrencia y sincronización en sistemas distribuidos.
Muy similar a los Diagramas de Transición deEstados.
Utilizado como método de descripción visual del comportamiento de sistemas dinámicos.
Bases teóricas matemáticamente sólidas.
Los lugares y las transiciones se unen mediante arcos oflechas
Un arco une siempre lugares con transiciones y nunca dos lugares o dos transiciones.
Una transición puede ser destino de varios lugares y un lugar puede ser el destino devarias transiciones.
Una transición puede ser origen de varios lugares y un lugar puede ser origen de varias transiciones.
Los lugares pueden presentar marcas (una marca se representa medianteun punto en el interior del círculo).
Cada lugar tiene asociada una acción o salida.
Los lugares que contienen marcas se consideran lugares activos.
Cuando un lugar está activo sus salidasestán a uno.
A las transiciones se les asocia eventos (funciones lógicas de las variables de entrada).
Una transición se dice que está sensibilizada cuando todos sus lugares origen están marcados.Cuando ocurre un evento asociado a una transición
Reglas de evolución de marcado
El marcado cambia al franquear las transiciones.
Para franquear una transición ha de estarvalidada y sensibilizada.
Cuando una transición se franquea desaparecen las marcas de los lugares origen y se añade una marca a cada uno de los lugares destino.
Un lugar puede tenermás de una marca, ejemplo:
Cuando dos transiciones que están sensibilizadas a la vez, pueden entrar en conflicto, ejemplo:
Para que la red sea válida las...
Leer documento completo
Regístrate para leer el documento completo.