1
REDES DE PETRI
Yerson David Rozo Giraldo
yerson.rozo@uao.edu.co
Facultad de ingeniería – Universidad Autónoma de Occidente
Resumen—Este documento busca presentar la información
recopilada sobre las redes de Petri, enumerando su definición y
propiedades principales.
Abstract—This document aims to present the collected
information about Petri nets, listing their definition and principal
properties.
I. INTRODUCCIÓN
E xisten diversas maneras de modelar y representar
sistemas, desde ecuaciones diferenciales, variables de
estado, diagramas de bloques e incluso podríamos pensar en
las máquinas de estado finitas para sistemas secuenciales, en
este documento exploraremos las redes de Petri, otra forma de
modelar ciertos sistemas, veremos desde su definición hasta
sus propiedades, representaciones y usos en la modelación de
sistemas.
II. REDES DE PETRI
Una red de Petri (RDP) es una herramienta gráfica y
matemática donde se buscan describir sistemas de eventos
discretos, en las RDP se permiten concurrencias y
paralelismos, que abre la posibilidad de que dos o más
procesos puedan ocurrir de manera simultánea y asíncrona y a
la vez, si es necesario sincronizar los procesos en algún punto.
Las RDP están formadas por diferentes elementos: lugares
o plazas, que son representados por circunferencias e indican
los estados del sistema, transiciones, que se dibujan como
líneas o barras rectas y simbolizan las acciones que pueden
causar cambios en los estado, arcos o flechas, que permiten
unir lugares y transiciones, por último, las marcas o tokens,
son representados por puntos y se ubican en los lugares o
plazas, su presencia o ausencia puede indicar si la condición
relacionada con una plaza es verdadera o falsa además la
cantidad de tokens en un lugar o plaza puede indicar el número
de recursos disponibles, tal como señala [1].
Arco 1 Arco 2
Transición
Lugar A Lugar B
Fig. 1. Ejemplo de una RDP
Como se mencionó anteriormente, una RDP también es una
herramienta matemática, por lo tanto, es necesario definirla
como tal, podemos entender una red de Petri como una
estructura tal que PN = ( P, T , I , O, M 0 ) , donde:
1. P es un conjunto no vacío y finito de lugares.
2. T es un conjunto no vacío y finito de transiciones.
3. Se cumple que P  T =  Es decir, lugares y transiciones
son conjuntos disjuntos [2].
4. I : P  T → N es la función de incidencia previa, una
matriz con aij elementos, para un número i de lugares y
un número j de transiciones. Donde cada elemento indica
el peso del arco que entra a la plaza i desde la transición
j.
5. O : P  T → N es la función de incidencia posterior, es
una matriz con aij elementos, para un número i de
lugares y un número j de transiciones. Donde cada
elemento indica el peso del arco que sale de la plaza i y
llega a la transición j .
6. I y O son matrices no vacías y sus elementos son enteros
mayores que 0
7. M 0 almacena el estado inicial del sistema
Cabe resaltar que es común resumir, las matrices I y O en
una misma matriz de incidencias [3] de la siguiente manera:
C = O − I : P T → Z
(1)
Como se puede observa la matriz de incidencia C es
expresada en (1) como la diferencia de la función de
incidencia posterior y la función de incidencia previa lo que
ocasiona que ahora en la matriz de incidencia C se puedan ver
números enteros negativos.
III. PROPIEDADES DE LOS ELEMENTOS EN UNA RDP
A. Plazas o lugares
Las plazas poseen un nombre o identificador, y además son
acompañadas por su capacidad que señala la cantidad de
tokens que puede admitir cada plaza, como en el siguiente
ejemplo:
A
3
Fig. 2. Plaza de nombre A y con capacidad 3
B. Transiciones
Las transiciones poseen también un identificador o nombre,
además de un tiempo en el que se inhibe el paso libre de
 2

tokens a través de ellas.

T1

Fig. 3. Transición de nombre T1 y con tiempo 3

C. Arcos o flechas
Los arcos o flechas, por el contrario, no poseen ningún
identificador o nombre sin embargo poseen un peso asociado,
que representa la cantidad de tokens que pueden pasar al
mismo tiempo por un arco. Fig. 6. RDP no acotada. [1]

1
C. Conservativa.
Se dice que una RDP es conservativa si o solo si, el
Fig. 4. Arco con peso 1
número de tokens se conserva gráficamente esto se ve
representado si el número de arcos que entra a cada
Teniendo en cuenta lo anterior mencionado podemos tomar
transición son igual al número de arcos que sale de ella
la RDP mostrada en la Fig 1. Y graficarla especificando las
misma.
propiedades de cada elemento:

A T1 B
1 1

1 3 1

Fig. 5. Ejemplo de una RDP haciendo uso de las propiedades de sus

elementos

IV. PROPIEDADES DE LAS RDP

A. Alcanzabilidad.
Un token o marca M k es alcanzable desde un estado M 0 Fig. 7. RDP conservativa. [1]

siempre que exista una secuencia de activación (o disparo) de

transiciones que permita transformar M 0 en M k . Se dice que
un Estado M k es inmediatamente alcanzable si solo se
requiere el disparo de una transición habilitada por M 0
B. Acotabilidad.
Como se mencionó anteriormente y tal como es mencionado
en [1] los tokens pueden indicar la materia prima que se está
usando en un proceso, es común que estos números estén
acotados, pues es indeseable en un proceso de manufactura,
por ejemplo, que la materia prima en la cola de producción
crezca hasta el infinito. Usualmente este crecimiento señala la
inestabilidad del sistema, tal como menciona [4].
Se dice que una RDP es acotada, cuando el número de
marcas en un lugar p es siempre menor o igual a un número
entero positivo k para cada estado M alcanzable desde el
estado inicial M 0
D. Vivacidad.
La vivacidad en una red de Petri está relacionada con la
posibilidad de que sus transiciones sean disparadas en algún
punto, existen varios niveles de vivacidad, como mencionan
[4],[2] una transición en una RDP dada una condición inicial
M 0 puede ser clasificada como:
1. Muerta o L0-live: si la transición nunca es disparada.
2. L1-live: Si existe alguna secuencia de disparo en la que la
transición pueda ser disparada al menos una vez.
3. L2-live: si la transición es disparada un número de veces k
4. L3-live: Si para una secuencia infinita de disparo, la
transición es disparada a menudo.
5.Viva o L4-live: Si la transición es L1-live para cada posible
estado alcanzado desde M 0
Podemos observar claramente en la Fig 4. Que la transición
1 es L1-live, la transición 2 es muerta, la transición 3 puede
ser disparada infinitas veces hasta que t1 sea activada por lo
que es L3-live.
 3

Fig. 8. RDP con diferentes niveles de vivacidad en sus transiciones [4]

E. Exclusión mutua
La exclusión mutua ocurre cuando dos estados se excluyen
el uno al otro si están activos, es decir que no pueden estar
ocurriendo simultáneamente, o que no pueden contener cada
uno un token a la vez. Consideremos la Fig 9. Donde el
disparo de t3 o de t1 implica la exclusión de la posibilidad de
activar el estado M1 o M2, respectivamente hasta que se
dispare la transición t4 o t2, según sea el caso.
Fig. 9. Ejemplo de exclusión mutua [3]
Fig. 11. RDP y su respectivo árbol de cobertura [4]
Podemos observar que la raíz del árbol corresponde a
[1,1, 0] que es el estado inicial M 0 de la RDP luego, notamos
que la única transición que puede ser activada es T1 lo que
ocasiona que el estado del sistema cambie a M 1 que
corresponde al vector [0, 0,1] y desde aquí, de nuevo es fácil
observar que la única transición que es posible activar
corresponde a T2 que regresa la RDP a su estado inicial
M 0 Cuando llegamos al estado inicial ya no es necesario
seguir construyendo el árbol de cobertura.
A. Árbol de cobertura infinito
Cuando intentamos generar un árbol de cobertura para una
red de Petri no acotada nos encontramos con un problema, el
árbol crece infinitamente debido a la condición de no
acotabilidad de la red, como se muestra en Fig 12 y Fig 13.

F. Ciclicidad
Podemos describir una RDP como globalmente cíclica [2] si
existe una secuencia de disparos desde M 0 que permita
alcanzar de nuevo M0 a partir de cualquier estado
M alcanzable desde M 0

Fig. 12. RDP no acotada [4]

Fig. 10. RDP cíclica y viva [2]

V. ÁRBOL DE COBERTURA DE UNA RDP

El árbol de cobertura de una RDP nos permite analizar los
estados del sistema, puesto que el árbol de cobertura es una
representación gráfica de estos. Veamos la Fig 11.

Fig. 13. Árbol de cobertura infinito [4]

 4

En este caso corresponde introducir el concepto de nodo

dominante, sean x = [ x ( p1 ),..., x ( pn )] y y = [ y ( p1 ),..., y ( pn )]
dos estados, diremos que X domina Y denotado por
x  d y siempre que se cumplan las siguientes condiciones:
1. x ( pi )  y ( pi ) para todo valor de i.
2. x ( pi )  y ( pi ) para al menos un valor de i.

Así, en nuestro ejemplo anterior

[1, 0, 2, 0] > d [1, 0,1, 0] además de esto es necesario incluir el
signo  que representará la marca o token no acotado.

Con estos dos elementos, podemos representar

correctamente el árbol de cobertura, cuando x  d y podemos
reemplazar el valor de x ( pi ) por  , en los lugares donde se
cumpla x ( pi )  y ( pi ) para cualquier i. Así, el árbol de
cobertura sería el representado el la Fig 14.

Fig. 14. Árbol de cobertura infinito [4]

VI. REFERENCIAS
[1] R. Zurawski, M. Zhou, “Petri Nets and Industrial Applications: A
Tutorial”, IEEE. Trans. On. Industr.Elec, Vol.41 No.06, December 1994
[2] M. Silva, “Las redes de Petri: en la Automática y la Informática”.
Primera edición. España: Editorial AC, 2002
[3] A. Giua, C. Seatzu, “A Systems Theory View of Petri nets”, Adv. In.
Ctrl. Theor. And. Apps. Ser. Vol.353, 2007
[4] C. G. Cassandras and S. Lafortune, “Introduction to discrete event
systems”. Segunda edición. New York: Springer, 2002, pp. 241