Qu son las redes de Petri?

Las redes de Petri son herramientas graficas

para la descripcin y anlisis de procesos
concurrentes que surgen de sistemas
dinmicos con muchos componentes. Los
grficos, en conjunto con las reglas para su
refinamiento, fueron inventadas en agosto de
1939 por el alemn Carl Petri, a la edad de 13
anos, con el propsito de describir procesos
qumicos. Aunque en el mundo cientfico se
publico en su tesis doctoral 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
Redes de Petri.
Los procesos son representados mediante un
modelo matemtico para su estudio. Mediante
la manipulacin de este modelo se pueden
adquirir conocimientos del proceso modelado
sin los riesgos, costos e inconvenientes de
manipular el proceso real.

Por otra parte, los sistemas a menudo exhiben
situaciones de concurrencia o paralelismo. Las
actividades de una componente de un sistema
pueden ocurrir simultneamente con las de otros
mdulos. Dado que las componentes de los
sistemas interactan, es necesario que haya
sincronizacin. Esto puede resultar en que una
componente est esperando a otra. El
temporizado de acciones de distintos mdulos
puede ser muy complejo y las interacciones
resultantes entre las componentes pueden ser
difciles de describir.

Caractersticas bsicas de una Red de
Petri
La teora de Redes de Petri puede ser aplicada a
diversas reas.
Las Redes de Petri son una herramienta til para
el estudio de sistemas. La teora permite que un
sistema sea modelado por una Red de Petri, una
representacin matemtica del sistema. El
anlisis de la Red puede revelar importante
informacin acerca de la estructura y el
comportamiento dinmico del sistema modelado,
la que puede ser usada para evaluarlo y sugerir
mejoras o cambios.

Estructura de una Red de Petri
Una Red de Petri consta de cuatro partes:
un conjunto de sitios o lugares o plazas P
un conjunto de transiciones T
una funcin de entrada I
una funcin de salida O.

Las funciones de entrada y de salida relacionan transiciones y plazas.
La funcin de entrada I es un mapeado desde una transicin tj a una
coleccin de plazas I(tj), conocida como las plazas de entrada de la
transicin.
La funcin de salida O mapea una transicin tj en una coleccin de
plazas O(tj), conocida como las plazas de salida de la transicin.

Representacin Formal de una Red de
Petri
Tomemos como ejemplo la siguiente estructura de Red de Petri:

C = (P,T,I,O)
P = {p
1
, p
2
, p
3
, p
4
}
T = {t
1
, t
2
, t
3
}

I(t
1
) = {p
1
} O(t
1
) = {p
2
, p
3
}
I(t
2
) = {p
3
} O(t
2
) = {p
3
, p
4
}
I(t
3
) = {p
2
,p
3
} O(t
3
) = {p
4
}
Representacin Grfica de una Red de
Petri
La mayor parte del trabajo terico sobre Redes
de Petri est basado en la definicin formal de
estructuras de Redes de Petri. Sin embargo, una
representacin grfica de una estructura de Red
de Petri es mucho ms til para ilustrar los
conceptos de la teora. Un grafo de Red de Petri
es una representacin de una estructura de Red
como un multigrafo dirigido bipartito.
Representacin Grfica de una Red de Petri
Un grafo de Red de Petri tiene dos tipos de nodos:

Un crculo representa una plaza

Una barra o lnea representa una transicin.

Los arcos dirigidos conectan las plazas y las transiciones, con
algunos arcos dirigidos desde las plazas a las transiciones y otros
arcos dirigidos desde transiciones a plaza.

Un punto representa un tokens


Representacin Grfica de una Red de Petri
Un arco dirigido desde una plaza pi a una transicin tj define a la
plaza como una entrada de la transicin.
Las entradas mltiples a una transicin se indican por arcos
mltiples desde las plazas de entrada a la transicin.
Una plaza de salida se indica por un arco desde la transicin a la
plaza.
Nuevamente, las salidas mltiples se representan por arcos
mltiples.
Representacin Grfica de una Red de
Petri
Una Red de Petri es un multigrafo, dado que permite
arcos mltiples desde un nodo del grafo a otro.

Adems, dado que los arcos son dirigidos, es un
multigrafo dirigido.

Dado que los nodos del grafo pueden ser particionados
en dos conjuntos (plazas y transiciones), tal que cada
arco est dirigido de un elemento de un conjunto a un
elemento del otro conjunto, es un multigrafo dirigido
bipartito.
Representacin Grfica de una Red de
Petri
C = (P,T,I,O)
P = {p
1
, p
2
, p
3
, p
4
}
T = {t
1
, t
2
, t
3
}

I(t
1
) = {p
1
} O(t
1
) = {p
2
, p
3
}
I(t
2
) = {p
3
} O(t
2
) = {p
3
, p
4
}
I(t
3
) = {p
2
,p
3
} O(t
3
) = {p
4
}
Marcas de las Redes de Petri
Una marca es una asignacin de tokens
(tambin llamados fichas o cospeles) a las
plazas de una Red de Petri.

El nmero y posicin de los tokens puede
cambiar durante la ejecucin de una Red de
Petri.

Marcas de las Redes de Petri
En un grafo de Red de Petri, los tokens se representan
por puntos dentro de los crculos que representan las
plazas.
Dado que el nmero de tokens que puede ser
asignado a una plaza de una Red de Petri es
ilimitado, hay una infinidad de marcas para una
Red de Petri.
La sincronizacin o ensamble
Ocurre cuando 2 o ms actividades se unen.
Se usa para unir o ensamblar tokens que
provienen de diferentes caminos.
Los 2 tokens se unen.
La concurrencia o desensamble
Equivale a los flujos que se ejecutan en
paralelo.
Equivale a una funcin de desensamble
Los 2 tokens se dividen.
Representacin de una mquina
Esta mquina realiza una operacin dentro de
un proceso.
En un diagrama clsico se observa:
4 plazas : A, B, C , D
2 transiciones
6 arcos
A - D que se ubican al inicio y final son espacios para almacenar
unidades de trabajo (como materia prima y producto terminado)
B C equivalentes a la mquina. Representa los 2 estados posibles
de la mquina:
Cuando el token est en B significa que la mquina est trabajando.
Cuando el token est en C significa que la mquina est libre o en
estado inicial.
Las 2 transiciones indican el inicio y fin de la operacin.
La mquina es usualmente representada con forma
de tringulo, compuesta por una sincronizacin y
una concurrencia.
Cuando el token que est en A pasa a B se sincroniza
con C.
Luego al finalizar el evento u operacin ocurre una
concurrencia retornando el token a C
Represente grficamente a la siguiente RdP:
R1 = (P, T, F, M)
P = { p
1
, p
2
, p
3
, p
4
, p
5
, p
6
, p
7
, p
8
, p
9
}
T = {t
1
, t
2
, t
3
, t4, t5, t6}

O(t
1
) = { p
2
, p
3
}
O(t
2
) = { p
1
, p
7
}
O(t
3
) = { p
6
}
O(t
4
) = { p
4
}
O(t
5
) = { p
9
}
O(t
6
) = { p
5
, p
8
}

I(t
1
) = { p
1
}
I(t
2
) = { p
8
}
I(t
3
) = { p
2
, p
5
}
I(t
4
) = { p
3
}
I(t
5
) = { p
6
, p
7
}
I(t
6
) = { p
4
, p
9
}

p
2
p
1
t
1
p
3
t
2
t
3
p
4
p
5
t
4
Simulacin de una operacin con RdP
Se desea realizar una simulacin de 10
operaciones de corte (Co) que sern realizadas
por una sola mquina (Mq1). Dicha operacin
requiere un tiempo exacto de 5 minutos por
unidad procesada. Para llevar a cabo esta tarea se
necesitan 2 unidades de materia prima 1 (Mp1) y
1 unidad de materia prima 2 (Mp2).
Supuestos: La mquina solo podr procesar una
unidad de tiempo. Se omiten los transportes.
BOM (Bills of Materials)

El BOM describe el contenido de materiales
de un producto
Caso propuesto
Se desea realizar una simulacin de una lnea de
ensamblaje compuesta por 3 operaciones en serie (Corte,
Fresado y Torneado), cada una realizada por una mquina
diferente (Mq1, Mq2 y Mq3) con tiempos equivalentes a
5, 7 y 3 minutos respectivamente. Para llevar a cabo esta
tarea, la operacin de corte requiere de 2 unidades de
materia prima 1 (Mp1), 1 unidad de materia prima 2
(Mp2) y 3 unidades de materia prima 3 (Mp3). Se desea
producir 10 unidades de producto terminado.
Supuestos: Las mquinas solo podrn procesar una unidad
al tiempo. Incluya un almacenamiento entre operaciones
con capacidad igual a 10.