Tcnicas Modernas en Automtica [ELO 377], Agosto 2013.

1

Resumen En este documento se describe una situacin
ocurrida muy frecuentemente en la vida cotidiana en el uso de la
tecnologa computacional y de comunicaciones, usando Redes de
Petri en el marco de la Tarea 4 de Tcnicas Modernas en
Automtica.
La situacin consiste en modelar el comportamiento del proceso
de envo y recepcin de mensajes de correo de electrnico,
mediante el uso de Redes de Petri.

Palabras Clave Redes de Petri, lugar, transicin, arco,
marca, alcanzabilidad, acotacin y seguridad, conservatividad,
WoPeD.

I. INTRODUCCIN
AS Redes de Petri son una herramienta grfica y
matemtica, que permiten modelar y disear sistemas
dinmicos discretos. Adems las Redes de Petri pueden
modelar sincronizacin de procesos, eventos asncronos,
operaciones concurrentes y comparticin de recursos.
Su cualidad de herramienta grfica proporciona una gran
ventaja para la comprensin del proceso que sta modela, para
individuo no especializados ni habituados a leer textos con
descripciones complejas o con desarrollos matemticos (por
ejemplo operarios en un proceso industrial, modelado por
Redes de Petri).

II. CONCEPTOS BSICOS
Una Red de Petri es un tipo particular de grafo bipartito,
formado por tres tipos de componentes. Estos componentes
son: Lugares (P, del ingls Place), transiciones (T), y arcos
dirigidos, que conectan lugares a transiciones, y transiciones a
lugares.
Grficamente los lugares se representan por crculos, las
transiciones por barras o cuadrados, y los arcos por flechas.
Tambin existen las marcas (token en ingls) que indican
cuando un lugar est activo, que se representan por puntos
ennegrecidos (en el centro del circulo que representa al lugar).






Figura 1: Componentes de una Red de Petri.
Un lugar puede ser tanto una entrada o una salida. Es una
entrada hacia una transicin, si es que existe un arco dirigido
conectando este lugar hacia la transicin. Un lugar es una
salida de una transicin, si es que existe un arco dirigido desde
una transicin hacia el lugar.

Formalmente una Red de Petri puede definirse como:

PN = (P. I. I. 0. H
0
); donde

1. P = {p
1
. p
2
p
m
] es un conjunto finito de lugares.

2. I = {t
1
. t
2
t
n
] es un conjunto finito de transiciones,
P I y P I = .

3. I: (P I) N es una funcin de entrada que define los
arcos dirigidos desde lugares hacia transiciones, donde N es
un conjunto de enteros no negativos.

4. 0: (P I) N es una funcin de salida que define los
arcos dirigidos desde transiciones hacia lugares.

5. H
0
: P N es la marca inicial.

Las siguientes reglas se usan para gobernar el flujo de
marcas:

Regla de Habilitacin: Una transicin t est activada si cada
lugar de entrada p contiene un nmero de marcas igual que
el peso del arco dirigido que conecta p con t.

Regla de Disparo: Un disparo de una transicin habilitada t,
remueve desde cada lugar de entrada p un nmero de marcas
igual al peso del arco dirigido que conecta p con t.
Anlogamente, un disparo tambin deposita en cada lugar p
p
1 t
1
p
2
arco
lugar
transicin
marca
Modelado del proceso de Envo y Recepcin de
mensajes de correo electrnico mediante Redes
de Petri
Germn Sandoval Andrade Rol: 2721037-6
L
Tcnicas Modernas en Automtica [ELO 377], Agosto 2013.

2
de salida un nmero marcas igual al peso del arco dirigido
que conecta t con p.




Figura 2: Transicin t
1
habilitada.



Figura 3: Transicin t
1
disparada.

Propiedades de las Redes de Petri

A continuacin se describen y ejemplifican alguna de las
propiedades ms importantes de las Redes de Petri.

Alcanzabilidad: Se relaciona con todos los valores posibles
que pueden tomar los diferentes lugares (1 si est marcado, y
u si no lo est), a partir de una secuencia de disparo. Se
representa a travs del rbol de alcanzabilidad.


Figura 4: Red de Petri y su rbol de Alcanzabilidad equivalente.

Acotamiento y Seguridad: Una red es k-acotada si el
nmero de marcas en cada lugar p es siempre menor o igual a
k (con k un entero no negativo).
Una red es segura si es 1-acotada. En una red segura ningn
lugar puede contener ms de una marca.


Figura 5: Red de Petri 2-acotada.


Figura 6: Red de Petri no acotada.
Conservatividad: Una Red de Petri es conservativa, si el
nmero de marcas es mantenido, esto ocurre si el nmero de
arcos de entrada a cada transicin es igual al nmero de arcos
de salida. Una red puede ser estrictamente conservativa, o
conservativa con respecto a un vector de peso w.


Figura 7: Red de Petri estrictamente conservativa.


Figura 8: Red de Petri conservativa con peso w = |1. . . %. %&.
III. CREACIN DE LA RED DE PETRI EN WOPED
Se usa el software WoPeD (Workflow Petri Net Designer),
en espaol Diseador de Flujo de Control de Redes de Petri.
Se escoge por su simplicidad en el manejo, por su
especificidad para el tpico, y adems se trata de un software
de cdigo abierto (no requiere pagar licencia, ni usar software
pirata).
Se desea modelar el proceso de envo y recepcin de
mensajes de correo elctrnico, es decir desde que el
destinatario escribe el mensaje, hasta que el destinatario lo lee.

p
2
p
1 t
1
Tcnicas Modernas en Automtica [ELO 377], Agosto 2013.

3
Se construye una Red de Petri en WoPed, que consta de 5
lugares, y 4 transiciones.


Figura 9: Red de Petri construida en WoPed.
La red consta de 2 lugares con marcas, el de la izquierda es el
estado inicial del proceso de escritura y envo de mensajes, el
de la derecha corresponde al estado inicial del proceso de
recibimiento y lectura del mensaje.

IV. RESULTADOS
Con la red ya construida, la red se puede correr con lo que
se puede observar grficamente el flujo de marcas a travs del
proceso.
A continuacin se muestra el flujo de marcas correspondiente
a la siguiente sucesin de acciones:

1. Escribir Mensaje
2. Enviar Mensaje
3. Recibir Mensaje
4. Leer Mensaje

Esta secuencia de acciones, corresponde a la ms sencilla
que se puede llevar a cabo en este proceso.
A continuacin el flujo de marcas:




Figura 10: Estado inicial del proceso de envo y recepcin de mensajes,
previo a la accin 1.


Figura 11: Estado del proceso de envo y recepcin de mensajes, luego de
ejecutada la accin 1 (Escribir Mensaje).
El resultado es consistente, pues luego de escribir un mensaje,
lo que sigue es enviarlo, pero estas 2 acciones no son
simultneas, siempre hay una pausa, por breve que sea, entre
la escritura del mensaje y su envo, ya sea para revisar la
ortografa, o pensar en agregar o quitar algo al contenido de
ste.


Figura 12: Estado del proceso de envo y recepcin de mensajes, luego de
ejecutada la accin 2 (Enviar Mensaje).
Nuevamente el resultado parcial es consistente con la realidad,
pues, luego de enviado el mensaje, el remitente, puedo enviar
escribir otro mensaje si lo desea o necesita, y tambin el
destinatario ya puede recibir el mensaje.


Figura 13: Estado del proceso de envo y recepcin de mensajes, luego de
ejecutada la accin 3 (Recibir Mensaje).

El remitente tiene la opcin de escribir otro mensaje, y el
destinatario tiene la opcin de leer el mensaje, luego de ya
haberlo recibido.

Tcnicas Modernas en Automtica [ELO 377], Agosto 2013.

4

Figura 14: Estado del proceso de envo y recepcin de mensajes, luego de
ejecutada la accin 4 (Leer Mensaje).

Ahora como opcin solo se presenta que el remitente pueda
escribir un nuevo mensaje, el destinatario no puede leer
ningn mensaje pues su buzn de mensajes se encuentra
vaco, y tampoco ha recibido algn mensaje.

WoPeD permite analizar algunas de las propiedades descritas
anteriormente, de forma automtica, otras es posible
analizarlas al ir corriendo la Red de Petri sucesivamente,
con diferentes secuencias de acciones.

Alcanzabilidad: Se analiza esta propiedad mediante el rbol de
alcanzabilidad que WoPeD construye con solo pulsar el botn
Coveravility Graph del men Analysis Tools.


Figura 15: Herramientas de Anlisis de WoPeD, donde se encuentra el
botn "Coveravility Graph".
(**) El rbol de alcanzabilidad generado por WoPeD se
adjuntar en el apndice, debido a que sera muy poco
apreciable debido al escalamiento de la imagen.


Acotamiento: Esta Red de Petri no es acotada (y por tanto
tampoco segura), debido a que el lugar Buzn de Mensajes
puede contener ilimitadas marcas. En la vida real, un buzn de
mensajes si es acotado, por la capacidad de almacenamiento
de datos que provea la compaa que otorga el servicio de
envo y recepcin de mensajes de correo electrnico, por lo
que habra que perfeccionar esta red para configurar un k que
limite el nmero de marcas que pueda contener el lugar
Buzn de Mensajes.
El acotamiento (y otras propiedades) es posible evaluarlo
pulsando en el botn Semantical Analysis que se encuentra
en el Men de Herramientas, que se aprecia en la Figura 15.


Figura 16: Anlisis de Propiedades hecho por WoPeD (Acotamiento).
En la Figura 16 es posible apreciar que WoPeD seala que
hay un lugar no acotado (Mensaje Recibido).

V. APORTE/CONTRIBUCIN
Bsqueda de informacin acerca del tema, lectura de
publicaciones cientficas (IEEE Transactions), artculos
acadmicos y material de asignaturas universitarias para
interiorizarse del tema.
La mayor innovacin fue el uso del software WoPeD, ya que
usualmente se usa Matlab, con el uso de algn Toolbox, o
programacin va cdigo.

VI. CONCLUSION

Se obtuvieron resultados bastante consistentes en la realidad
del proceso modelado.
A travs del trabajo de investigacin realizado, y durante el
desarrollo de la tarea, se pudo constatar lo til que pueden ser
las Redes de Petri para el modelamiento de procesos, que
pueden ir desde modelamiento de procesos de negocios (flujo
de dinero), hasta el control de un motor elctrico.

REFERENCES
[1] Petri Nets and Industrial Applications: A tutorial, IEEE Transactions on
Industrial Electronics, Richard Zurawsky and Mengchu Zhou.
[2] Tesis Doctoral: Marco de conocimiento para el modelado de flujos de
trabajo formalizados mediante Redes Petri, Juan Carlos Vidal,
Universidad de Santiago de Compostela.
[3] Nomenclatura y definiciones bsicas de Redes Petri, Ariel Sabiguero,
Facultad de Ingeniera, Universidad de la Repblica, Uruguay.
[4] WoPeD 2.0 goes BPEL 2.0 (Tutorial), Andreas Eckleder and Thomas
Freytag, University of Cooperative Education (Berufsakademie),
Karlsruhe, Germany.