Redes

de Petri
Ges+n de Procesos de Negocio

Guillermo Caldern Ruiz

Modelacin de Flujos de Trabajo

Redes de Petri Clsicas
Fuente:
Profesor Wil van der Aalst
Eindhoven University of Technology
Faculty of Technology Management
Department of Informa+on and Technology
The Netherlands
w.m.p.v.d.aalst@ tm.tue.nl

Redes de Petri Clsicas

Herramienta para modelar y analizar procesos
Inventada por Carl Adam Petri en 1962

Fortalezas
Representacin grca
Fuerte base matem+ca
No como otras tcnicas esquem+cas, se encuentra enteramente formalizada
Gracias a ello, es posible hacer armaciones acerca de propiedades del proceso
que est siendo modelado
Existen tcnicas y herramientas de anlisis

Adecuada para representar ujos de trabajo

Elementos Bsicos
Red compuesta de:
Si&os o estados (places, ) y
Transiciones (transi+ons, )

Elementos Bsicos
Las conexiones o arcos dirigidos (connec+ons, ujos) unen:
un estado con una transicin, o
una transicin con un estado

Los tokens ( ) son los objetos dinmicos. Los estados pueden contener
tokens.
La situacin de una red de Petri est determinado por la distribucin de
los tokens en los dis+ntos estados.

Ejemplo:
solicitud de pago de un seguro

El estado inicial puede ser descrito por el vector (3,0,0)

Estados de Entrada y de Salida de una

transicin
Los estados de entrada a una
transicin son todos los estados
desde los cuales hay un arco
dirigido hacia dicha transicin
Los estados de salida de una
transicin son todos los estados
hacia los cuales hay un arco
dirigido desde dicha transicin

Estados de Entrada y de Salida

La transicin t1 +ene tres estados de entrada (p1, p2 y p3) y dos de salida (p3 y
p4).
El estado p3 es a la vez un estado de entrada y un estado de salida de la transicin
t1.
8

Transicin habilitada
Una transicin est habilitada si hay al menos un token en todos los
estados de entrada a ella.

La transicin t1 no est habilitada; la transicin t2, si.

Disparo
Una transicin puede ser disparada (ga+llada) desde el momento en que
est habilitada.
Cuando una transicin es disparada, se remueve un token desde cada
estado de entrada y se agrega un token a cada estado de salida.
Corresponde a consumir tokens desde los estados de entrada y producir
tokens en los estados de salida.

10

Disparo

El disparo es un fenmeno atmico.

11

Disparo

12

Ejemplo:
solicitud de pago de un seguro
Se dispara la transicin record

La situacin de la red cambia de (3,0,0) al vector (2,1,0)

13

Ejemplo:
solicitud de pago de un seguro
Se dispara la transicin pay

La nueva situacin de la red puede ser descrito por el vector (2,0,1).

Despus de seis disparos, la red de Petri alcanzar la situacin (0,0,3). En dicha
situacin, no es posible realizar ms disparos.

14

Componentes ac+vas versus pasivas

Las transiciones son las componentes ac&vas de una
red de Petri.

Los estados y los tokens son pasivos.

No pueden cambiar la situacin de una red de Petri.

15

Redes de Petri Clsicas

Las redes de Petri no son determinis+cas:

Dos transiciones compiten por el mismo token conicto.

Incluso si hay dos tokens, todava existe un conicto.
16

Modelacin
Qu representan?
Transicin
Representa un evento, una operacin, una transformacin, o un
transporte.

Estado
Representa un medio fsico, un buer, una locacin geogrca, una fase o
condicin.

Token
Indica un objeto, ya sea fsico o informacin.

17

Limitar simultaneidad
Para evitar que dos liquidaciones se procesen al mismo +empo, es posible
agregar un si+o o estado adicional:

18

Limitar simultaneidad

El nuevo estado free asegura que la transicin record se bloquea tan pronto como
una liquidacin pasa a ser considerada.
Nmero de tokens al inicio en el estado free determina el nmero de liquidaciones
que pueden ser consideradas al mismo +empo.
19

Resumen redes de Petri

Una red de Petri est compuesta de:
Si+os o estados y transiciones
Conexiones o arcos dirigidos
Tokens

Los si+os pueden ser de entrada y/o salida

La situacin de una red de Petri est determinado por la distribucin de los
tokens en los dis+ntos estados.
Se representa con un vector

La situacin de esta red es (2,0,1)

20

Ejemplo:
Un semforo

Usando redes de Petri se

puede modelar procesos
que son por naturaleza
repe++vos

21

Ejemplo: Juego

Es posible denir ml+ples ujos entre un estado y una transicin.

El nmero de arcos especica el nmero de tokens que sern consumidos/producidos.

22

Denicin de situaciones de la red de Petri

Situacin actual (current state)
La conguracin de tokens en los
dis+ntos estados.
Situacin de la red de Petri

Situacin alcanzable (reachable state)

Una situacin es alcanzable desde la situacin actual a travs de una
secuencia de disparos.

Situacin Muerta (dead state)

Una situacin donde ninguna transicin est habilitada.

23

Ejemplo: Juego

7 situaciones alcanzables
1 situacin muerta

24

Ejemplo: ciclo de vida

Cuntas situaciones son alcanzables?

Existen situaciones muertas?
25

Ejemplo: lectores y escritores

Cuntas situaciones son alcanzables?

Existen situaciones muertas?
Cmo se modela la situacin en que hay 2 escritores y 3 lectores?
Cmo se modela un buzn acotado (mximo nmero de mensajes = 4)?

26

Referencias
Ejemplos:
hop://is.tm.tue.nl/sta/wvdaalst/workowcourse/
examples.htm

Applet para construir redes de Petri y ejecutarlas:

hop://wwwis.win.tue.nl/~wvdaalst/pn_applet/
pn_applet.html

27