Red De Petri

Instituto Técnico de Capacitación y Productividad
Mecatrónica y Automatización Industrial
2do. Año Técnico Universitario
Ing. Erad Hernández








Redes de Petri



Orlando Josué Huitz Hidalgo
Miércoles 03 de junio de 2015
Programación
















Introducción

Las redes de Petri representan una alternativa para modelar sistemas, sus características hacen que, paraalgunos problemas las redes de Petri funcionen de una manera natural. Las PN como ahora conoceremos a las redes de Petri (Petri Net) 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 PN.Las PN son consideradas una herramienta para el estudio delos sistemas. Con su ayuda podemos modelar el comportamiento y la estructura de un sistema, y llevar el modelo a condiciones límite, que en un sistema real son difíciles de lograr o muy costosas.La teoría de PN ha llegado a ser reconocida como una metodología establecida en la literatura de la robótica para modelar los sistemas de manufactura flexibles. Comparada con otros modelos deComportamiento Dinámico gráficos, como los diagramas de las máquinas de estados finitos, las PN ofrecen una forma de expresar procesos que requieren sincronía. Y quizás lo más importante es que las PN pueden ser analizadas de manera formal y obtener información del comportamiento dinámico del sistema modelado.













Red de Petri
Una Red de Petri es una representación matemática o gráfica de unsistema a eventos discretos en el cual se puede describir la topología de un sistema distribuido, paralelo o concurrente. La red de Petri esencial fue definida en la década de los años 1960 por Carl Adam Petri. Son una generalización de la teoría de autómatas que permite expresar un sistema a eventos concurrentes.

Una red de Petri está formada por lugares, transiciones, arcos dirigidos y marcas ofichas que ocupan posiciones dentro de los lugares. Las reglas son: Los arcos conectan un lugar a una transición así como una transición a un lugar. No puede haber arcos entre lugares ni entre transiciones. Los lugares contienen un número finito o infinito contable de marcas. Las transiciones se disparan, es decir consumen marcas de una posición de inicio y producen marcas en una posición dellegada. Una transición está habilitada si tiene marcas en todas sus posiciones de entrada.

En su forma más básica, las marcas que circulan en una red de Petri son todas idénticas. Se puede definir una variante de las redes de Petri en las cuales las marcas pueden tener un color (una información que las distingue), un tiempo de activación y una jerarquía en la red.
La mayoría de los problemas sobreredes de Petri son decidibles, tales como el carácter acotado y la cobertura. Para resolverlos se utiliza un árbol de Karp-Miller. Se sabe que el problema de alcance es decidible, al menos en un tiempo exponencial.







Las redes de Petri son un grafo orientado formado por:
Plazas o lugares, representadas mediante circunferencias.
Transiciones, representadas por segmentos rectilíneos.
Arcosdirigidos que unen transiciones y plazas.



Una plaza p es entrada de una transición t si existe un arco desde p a t.
Una plaza p es salida de una transición t si existe un arco desde t a p.











Una plaza puede contener un número positivo o nulo de testigos o
Marcas, que se representan por un punto en el interior del círculo
Que representa una plaza
.
El marcado de una red de Petri es elconjunto de testigos asociados
Con cada una de las plazas en un instante dado. Define el estado de
La red de Petri.









Transiciones: representan los procesos del
Programa.

• Plazas: representan las condiciones
Necesarias para que un proceso se ejecute.

• Arcos dirigidos: relacionan condiciones y
Procesos.7

• Testigos: si están presentes en una plaza,
Indican que se verifica la condición...