Universidad Autónoma de Occidente

Facultad de Ingeniería
Departamento de Automática y Electrónica
Autómatas Programables

Segundo Parcial (50%): Investigación sobre las redes de Petri.

Fecha: 15 de sept. de 21
Entregado por: Javier Castillo Cifuentes
Entregado a: Edgar Francisco Arcos Hurtado

Redes de Petri:
1. Definición:
Las redes de Petri son una herramienta muy efectiva para el modelado de procesos concurrentes,
es una herramienta practica para la representación de los mismos y su análisis, las aplicaciones
de esta herramienta van desde el modelado de los protocolos de comunicación hasta el modelado
de sistemas de manufactura, en este campo se utiliza para representar líneas de producción, líneas
de ensamblaje automatizado, sistemas de producción de automóviles, entre otros.
Las ventajas de utilizar esta representación en sistemas son muchas pero las más evidentes son:

• Facilidad de comprender el sistema completo gracias a su forma gráfica y precisa del

esquema.
• Dispone de herramientas en su teoría para su análisis, las cuales permiten relacionar entre
ciertas estructuras de redes y su comportamiento dinámico, también hay técnicas para la
verificación de programas paralelos.
• Es posible diseñar automáticamente sistemas que su tendencia es fácil de validar o es
conocido.
El éxito de esta representación se da gracias a la simplicidad básica de su mecanismo y para
facilitar el uso en diferentes campos el modelo original ha sufrido modificaciones en dos aspectos,
el primero la introducción de modificaciones estructurales para aumentar su potencia o la
facilidad de modelar y así mismo facilitar la solución de los problemas que se presentan en los
análisis y el segundo en definir redes de Petri temporizadas que se usan para un análisis
cuantitativo de las prestaciones del modelo.
1.1. Definiciones básicas

• Plazas o lugares: Se representan mediante circunferencias y estas representan las

condiciones necesarias para que un proceso se ejecute.
• Transiciones: Estos se observan por medio de segmentos rectilíneos y representan
los procesos del modelo.
 • Arcos dirigidos: Estos unen transiciones y plazas, estos relacionan las condiciones y
los procesos.

Figura 1. Representación de una red de Petri y sus partes.

Una plaza p es entrada de una transición t si existe un arco desde p a t, una plaza p es salida de
una transición t si existe un arco desde t a p.

1.2. Marcado
Una plaza puede tener dentro un numero positivo o nulo de marcas, que se representan con un
punto en el interior de la plaza representada por un círculo, este testigo define el estado de la red
Petri, el conjunto de las marcas en cada una de las plazas en un instante de tiempo se le denomina
marcado.

Figura 2. Representación de un testigo dentro de una red Petri

1.3. Disparo
Una transición se encuentra sensibilizada o habilitada si las plazas de entrada en su totalidad
están marcadas, si esto sucede esta transición se puede dispar, este disparo consiste en quitar una
marca de cada plaza de las entradas y añadir otra marca a cada salida.

Figura 3. Redes de Petri antes del disparo

 Figura 4. Redes de Petri después del disparo

Como podemos observar en las figuras 3 y 4 los testigos antes del disparo se encuentran en sus
respectivas plazas y luego después del disparo en cada una de las transiciones estas se corren a su
plaza de salida correspondiente.
Visualizamos mejor esto con el siguiente ejemplo:

Figura 5. Red de Petri

Disparo de la transición t1

Figura 6. Red de Petri con disparo t1

Disparo de la transición t2 y t3

Figura 7. Red de Petri con disparo t2

Figura 8. Red de Petri con disparo t3

Y si para lograr una mejor comprensión del proceso se resume de la siguiente manera:

Figura 9. Representación de todos los disparos.

2. Formalización
En una Red de Petri es permitido que mas de un arco conecte a una plaza con una transición o
una transición con una plaza, si P es el conjunto de plazas de la red y T es el conjunto de
transiciones se dice que la:

• Función incidencia previa I(pi, tj) se define como el número de arco que unen la plaza pi
con la transición tj y está dada por I=P*T.
• Función incidencia posterior O (tj, pi) se define como el número de arcos que unen la
transición tj con la plaza pi y esta dad por la expresión O=T*P
• Valoración o peso de un arco es la etiqueta de valor I(pi, tj) u O (tj, pi)
Es así como podemos definir una red de Petri como una cuádrupla RdP=(P,T,I,O) donde:
P= conjunto finito y no vacío de plazas
T= conjunto finito y no vacío de transiciones
I=P*T -> N es la función de incidencia previa
O=T*P -> N es la función de incidencia posterior
En donde una red de Petri se puede definir como ordinaria si las funciones de incidencia toman
solo valores de 0 o 1 y todos sus arcos son de peso unitario, es generalizada si las funciones de
incidencia pueden tomar valores cualesquiera que sean valores enteros mayores o iguales a 0 y
una red de Petri es no reflexiva o pura si ninguna plaza es a la vez entrada y salida de una misma
transición.
2.1. Formalización del marcado
Se representa con la letra M, es una función desde el conjunto de las plazas P al conjunto de los
enteros no negativos M:P -> N, si n es el número de lugares de la red, M puede definirse como
un vector de dimensión n, M=(m1, m2,…,mn) en el que mi es el número de testigos que M asigna
a pi y se verifica M(pi)=mi.
3. Ejecución
Para ejecutar una red de Petri se deben cumplir las siguientes reglas:

• Una transición t se dice que esta habilitada si todas sus plazas de entrada contienen al
menos tantos testigos como arcos haya desde cada plaza a la transición es decir
M(p)>=I(p,t) para toda plaza de entrada de la transición t.
• Si la transición esta habilitada puede dispararse retirando de cada plaza de entrada los
testigos y arcos haya y depositándolos tantos testigos en cada plaza de salida como arcos
haya.
• El disparo de una transición cambia la distribución de testigos en las plazas y se calcula
con la siguiente expresión Mj(p)=Mi(p)+O(t,p)-I(p,t) para cada nuevo marcado m.

4. Disparo
Las marcas o testigos son indivisibles, un testigo puede quitarse de una plaza por solo una
transición. esto hace que este disparo de una transición deshabilite otras transiciones y así retirar
los testigos de las plazas compartidas. Un marcado Mj se dice que es inmediatamente alcanzable
desde un marcado Mi si Mj puede obtenerse si se dispara una transición habilitada por Mi y así
se dice que un marcado Mk es alcanzable desde Mi si existe una secuencia de disparo de
transiciones que llevarían a Mi en Mk y así llegamos al conjunto de alcanzabilidad R(M) de una
red de Petri marcada que es el conjunto de todos los marcados desde M.
Podemos entender mejor la definición anterior con el siguiente grafico correspondiente al ejemplo
anterior:

Figura 10. Conjunto de alcanzabilidad

También contamos con una gran herramienta como lo es el árbol de alcanzabilidad que representa
el conjunto de todos los marcados alcanzables desde el marcado inicial M0.

Figura 11. Red de Petri – Árbol de alcanzabilidad.

5. representación matricial
Una red de Petri con n plazas y m transiciones se representa con dos matrices de incidencia de la
dimensión nxm y esta representa las conexiones entre los nudos de la red de Petri, se define dos
matrices, una de incidencia previa 𝐶 − dada por 𝐶 − (𝑗, 𝑖) = 𝐼(𝑝𝑖, 𝑡𝑗) y una de incidencia posterior
𝐶 + que viene dad por 𝐶 + (𝑗, 𝑖) = 𝑂(𝑝𝑖, 𝑡𝑗) entonces la matriz de como la matriz de incidencia C
como 𝐶 = 𝐶 + − 𝐶 −
Podemos entender mejor esta representación también utilizando el ejemplo que se viene
trabajando en todo el documento:

Figura 12. Red de Petri

Y su representación matricial seria, se observa también las matrices de incidencia previa y

posterior:

Figura 13. Matriz de incidencia previa-Matriz de incidencia posterior

Figura 14. Matriz de Incidencia

6. Acotamiento
Esta propiedad asegura que el sistema que una red de Petri representa, tenga un numero finito de
estados, esto supone que cada plaza de la red implica a una variable de estado del sistema y si
marcado el valor de la variable. Es decir, la propiedad de acotamiento determina la finitud del
numero de estados del sistema caracterizado por una red de Petri.
La definición formal dice que un lugar p es k-acotado para Mo si existe un número entero k tal
que M(p)<=k para cualquier marcado M ∈ M(R, Mo), se denomina cota del lugar p al menor
entero k que verifica la desigualad anterior y así decimos que una red de Petri marcada es
k-acotada si todos sus plazas son k-acotadas para Mo.

7. Referencias

[1] Redes de Petri: Definición, formalización y ejecución; Universidad de Cantabria;

Mercedes Granda; 2012.
[2] Matemática, Informática y Educación; Redes de Petri; Jorge Castro Monge M.Sc.;
https://jcastrom.jimdofree.com/matematica/matem%C3%A1tica-discreta/redes-de-petri/
[3] Consideraciones para el modelado de sistemas mediante Redes de Petri; Universidad
Politécnica de Madrid; Castellanos Carlos; 2006.