Está en la página 1de 6

Redes de petri

Las redes de Petri representan una alternativa para modelar


sistemas, sus caractersticas hacen que, para algunos 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 alemn Karl Adam Petri en 1962. En su
tesis doctoral "kommunikation mit automaten" (Comunicacin con
autmatas), establece los fundamentos para el desarrollo terico
de los conceptos bsicos de las PN.

Redes de petri
Las PN son consideradas una herramienta para el estudio de los

sistemas. Con su ayuda podemos modelar el comportamiento y la


estructura de un sistema.
La teora de PN ha llegado a ser reconocida como una metodologa
establecida en la literatura de la robtica para modelar los
sistemas de manufactura flexibles.
Comparada con otros modelos de comportamiento dinmico
grficos, como los diagramas de las mquinas de estados finitos,
las PN ofrecen una forma de expresar procesos que requieren
sincrona. Y quizs lo ms importante es que las PN pueden ser
analizadas de manera formal y obtener informacin del
comportamiento dinmico del sistema modelado.

Redes de petri
dos conceptos importantes: acciones y estados, las acciones

nos conducen a un estado determinado del mdulo en el


tiempo, las acciones de un mdulo en un sistema pueden
ocurrir simultneamente con las acciones de otros mdulos,
dado que ellos interacan entre s, es necesario sincronizar
los eventos. Esto puede resultar en que las condiciones de
un mdulo en el tiempo necesitan como entradas las salidas
de otro, l cual necesita ms tiempo para generar las
salidas, es entonces cuando pensamos en paralelismo y
concurrencia.

Redes de petri
dos conceptos ms: eventos y condiciones, los eventos

son las acciones que se dan en el sistema y nos llevan a


un estado, podemos describir un estado como un
conjunto de condiciones. Es til, para nuestro caso,
representar dichas condiciones por medio de
predicados.
Para que cierto evento ocurra es necesario que ciertas
condiciones se cumplan, estas son llamadas precondiciones del evento, la ocurrencia del evento nos
puede llevar a otras condiciones y es entonces cuando
se dan las post-condiciones.

Redes de petri
2. Estructura de una red de Petri.
Las PN se componen de cuatro partes:
Un conjunto de nodos.
Un conjunto de transiciones.
Una funcin de entrada y
Una funcin de salida.
Las funciones de entrada y salida relacionan a los nodos y a las

transiciones. La funcin de entrada es un mapeo de una transicin t j a una


coleccin de nodos conocidos como los nodos de entrada de una
transicin. La estructura de una PN es definida por los nodos, las
transiciones, la funcin de entrada y la funcin de salida.
Definicin: La estructura de la PN P=(P,T,I,O) donde:}
P={p1,p2,,pn} es un conjunto finito de nodos, con n 0.
T={t1,t2,,tm} es un conjunto finito de transiciones con m 0.
P T=
I,O: T P

Redes de petri
Ejemplo: Carros que van y vienen
sincronizados
Al pulsar M ambos carros se
desplazan a la derecha. El
regreso lo hacen simultneamente
cuando ambos carros se
encuentren en el extremo
derecho.