REDES DE PETRI

EDISON RICARDO GARCIA GARCIA

MÓNICA NATALIA DIAZ
JUAN CAMILO PEÑA C
WALTER ANDRES LAGUNA

Universidad Escuela Colombiana de Carreras Industriales, Automatización y Robótica Industrial, Bogotá D.C, Colombia

edisonrgg@hotmail.com
juan.camilo93@outlook.com
monicanataliadiaz@gmail.com
ticor5855@hotmail.com

Abstract – El presente informe tiene por finalidad el dar a
conocer la definición, y algunas de las diferentes
aplicaciones de las redes de Petri, de acuerdo a los
resultados de la consulta y a través de la elaboración de
algunos ejemplos sobre sus aplicaciones.
This report are for finality give to know the definition and
some different applications about the Petri's networks,
according to the results of a query and also with some
examples of this applications
INTRODUCCIÓN
En el presente informe se muestra la información sobre
las redes de Petri las cuales proveen un conjunto de
herramientas que cuentan con una gran capacidad de
descripción y de operación que son empleadas para
representar una base de reglas. Además de dar un
formalismo de reglas de producción el sistema provee
un significado para definir cada uno de los objetos
referidos en las reglas de producción.
visual similar a diagramas de flujo, diagramas de
bloques y redes. Además los Tokens son utilizados en
estas redes para simular el comportamiento dinámico y
concurrente de los sistemas.
Como una herramienta matemática, es posible
establecer ecuaciones de estado, ecuaciones
algebraicas y algunos otros modelos matemáticos que
denoten el comportamiento del sistema modelado.
Una RdP es un tipo particular de gráfica dirigida,
adicionada con un estado inicial denominado marcado
Inicial (M0). El grafo N correspondiente a la RdP es
dirigido, con peso y bipartido con dos tipos de nodos
llamados elementos y Lugares.
Simbología
[2]Plazas
Ilustración 1 Símbolo Plaza

MARCO TEÓRICO Representan un espacio de almacenamiento fijo dentro

del sistema, puede ser un sistema o estación. También
[1]Las redes de Petri fueron introducidas en 1962 por el puede representar los posibles TAOS dentro del
alemán Carl Adam Petri, en su trabajo de tesis doctoral sistema.
titulado “Kommunikation mit Automaten”, sometido en la
Facultad de Matemáticas de la Universidad de Bonn, en Tienen 2 propiedades, el nombre el cual se identifica la
Alemania. Las redes de Petri o RdP son una herramienta plaza y la capacidad, que especifica la capacidad de
de modelación gráfica y matemática que puede tokens que puede tener la plaza
aplicarse en el estudio de muchos sistemas. Con RdP
se puede modelar y estudiar sistemas concurrentes,
asíncronos, distribuidos, paralelos, no deterministas y/o
estocásticos. Como una herramienta gráfica, las RdP
pueden utilizarse como un apoyo de comunicación

Ilustración 2 Propiedades de las plazas
Transiciones
Ilustración 3 Símbolo Transición
Permite relacionar 2 plazas dentro de la red. Representa
las acciones o eventos que producen cambios de
estados dentro del flujo del sistema.
Al igual que las plazas, las transiciones cuentan con 2
propiedades, en este caso las transiciones cuentan con
un nombre que identifica la transición y un valor de
tiempo que equivale a una demora que impide el paso
libre de los tokens por el modelo. Por lo general, se
trabaja con una unidad de tiempo genérica, es decir
dentro de la transición no se especifica una unidad de
tiempo.
Ilustración 4 Propiedades de las transiciones
Arcos
Permite realizar la unión entre las plazas y las
transiciones para formar la red. La norma indica que no
se pueden unir 2 símbolos del mismo tipo, es decir no
se pueden unir 2 transiciones entre sí ni 2 plazas entre
sí, la única unión que se permite es entre Plaza y
Transición.
Los arcos a diferencia de las plazas y de las transiciones
solo cuentan con una única propiedad que es su peso,
la cual representa la cantidad de tokens que pueden
pasar al mismo tiempo por el arco o flecha.
Ilustración 5 Propiedades de los arcos o flechas
Tokens
Son una marca dentro del sistema. Se deben ubicar
dentro de las plazas
[2]Una red de Petri (RP) está compuesta por dos
elementos: un grafo bipartido y una marcación.
Ejemplo:
Ilustración 6 Red de Petri sencilla
En el ejemplo anterior se representa una red con 2
plazas, cada plaza tiene la capacidad de almacenar un
token a la vez, la conexión se realiza a través de una
transición que tiene un tiempo de espera de 5 y por cada
arco o flecha puede pasar solo un token a la vez.
Es decir, en las matrices de incidencia las filas
representan a los lugares y las columnas a las
transiciones.

Definición formal

[4]Una de Petri Ordinaria (RPO), N, es un cuádruplo

N=<P, T, Pre, Post> donde:
Ilustración 7 Representación Matricial de una red de
Petri
P = {p1, p2,…… pm} Es un conjunto finito y no vacío de
lugares;

T = {t1, t2,…. tn} es un conjunto de finito y no vacío de

transiciones;

Pre: P X T -> {0,1} es el conjunto de lugares de entrada

a T;

Post: T X P -> {0,1} Es el conjunto de lugares de salida

de T
Propiedades de las Redes de Petri
Una RPO marcada es un par Nm= <N, Mo> en la cual N
es una red de Petri Ordinaria y M0 es el marcado inicial. Vivacidad

Una transición t está viva para un marcado inicial dado

Representación Matricial
Una RdP N se encuentra definida matricialmente por
medio de dos matrices. Sea n=|P| (Número de lugares
de P) y m=|T| (Número de transiciones de T) se
denomina:
Matriz de incidencia previa a la matriz:
Matriz de incidencia posterior a la matriz
Matriz de incidencia de
M0, si existe una secuencia de disparos a partir de un
marcado M sucesor de M0 que comprenda a t:
Una RdP marcada está viva para Mo si todas sus
transiciones son vivas para M0. Se puede decir que la
propiedad de vivacidad significa la ausencia en el
conjunto de alcanzabilidad de un marcado en el que la
red se bloquee totalmente, ya que, para que esté viva,
todas sus transiciones deben ser disparables desde
cualquier marcado alcanzable. Se dice que una RdP
marcada está parcialmente viva para M 0. Si, tomando
como punto de partida cualquier marcado alcanzable a
partir de M0, existe al menos una transición disparable y
otra de transición no viva. Toda RdP marcada
parcialmente viva tiene la posibilidad de evolución
global, independientemente de que existan transiciones
que no puedan ser disparadas.
Ciclicidad: Ejemplos

La Ciclicidad o reversibilidad de una RdP marcada Tipos de disparo

garantiza que no existen subconjuntos finales de
estados (marcados). Un subconjunto final de estados
[5]
(marcados) contiene estados (marcados) mutuamente
alcanzables entre si y tales que el estado inicial
(marcado inicial) no es alcanzable a partir de ninguno de
ellos.

Acotamiento

El significado de esta propiedad es el de asegurar que

el sistema que una red representa, posee un número
finito de estados (Si suponemos que cada lugar de la red
representa a una variable de estado del sistema y su Ilustración 9 Tipos de disparo
marcado el valor de dicha variable). Luego la propiedad
de acotamiento determina la finitud del número de
estados del sistema representado por una RdP. Evolución del marcado
Disparo de la transición t1
Conservatividad

Las marcas de una red se pueden entender como

recursos del sistema. Normalmente los recursos de un
sistema ni se crean ni se destruyen. Cuando las marcas
se conservan, tras el disparo de una secuencia de
transiciones, se dice que la red es conservativa.

Alcanzabilidad

La alcanzabilidad es una base fundamental para Ilustración 10 Disparo de transición t1

estudiar las propiedades dinámicas de cualquier
sistema. Al dispararse una transición habilitada, esta
cambiará la distribución de las señales (marcado). De Disparo de las transiciones t2 o t3
esta forma de una secuencia de disparos resultará una
secuencia de marcados, luego un marcado Mn es
alcanzable a partir de M0, Si existe una secuencia de
disparos que a partir de M0 nos lleve a Mn. Una
Secuencia de disparos la denotaremos por o=t1, t2,….tn.
En este caso Mn es alcanzable desde M0.

Ilustración 11 Disparo de las transiciones t2 o t3

Ilustración 8 Red de Petri de una máquina de

procesamiento de materias primas
Disparo de la transición t2 Evolución del marcado de las Redes de Petri

Ilustración 12 Disparo de la transición t2

Ilustración 15 Evolución del marcado de las redes de

Disparo de las transiciones t3 o t4 Petri

MARCO PROCEDIMENTAL

Ejemplos

Ilustración 13 Disparo de las transiciones t3 o t4

Disparo de las transiciones t4 o t5

Ilustración 14 Disparo de las transiciones t4 o t5

Ilustración 16 Red de Petri de una línea de producción

La red de Petri de la ilustración 9 corresponde a una

línea de producción compuesta por tres operaciones,
dispuestas en el siguiente diagrama:
 materia o en el proceso que se está llevando
a cabo con la representación gráfica.

Ilustración 17 Diagrama de línea de producción

Condiciones Iniciales:

Existe una máquina por cada operación. Las maquinas

solo podrán procesar una unidad al tiempo. Se omiten
los transportes que puedan suceder en el proceso. Se
debe incluir un Buffer entre las operaciones con
capacidad igual a 1 (Este buffer indica que el producto
en proceso se encuentra disponible para la operación 3).
No se consideran los tiempos de operación.

[6]

Ilustración 18 Ejemplo red de Petri de máquina

dispensadora

CONCLUSIONES
 A pesar que las redes de Petri fueron
diseñadas inicialmente para realizar el
modelado de sistemas discretos su evolución
ha permitido que existan una gran amplitud de
aplicaciones para el modelado de sistemas
automatizados productivos, eléctricos o de
información
 Las redes de Petri permiten crear la
representación de diferentes tipos de sistemas
de una manera clara y entendible gracias a la
organización y las normas que se requieren
para realizar su gráfico, ya que para poder
interconectar 2 plazas se requiere de una
transición que cambie el estado del token.
 La definición de tiempos durante las
transiciones permite que se pueda identificar
a través de un tiempo genérico cuánto tarda
en producirse un cambio en el estado de la