REDES DE

PRETI
HISTORIA:

 Las Redes de Petri surgen en 1962 con el trabajo doctoral de Carl Adam
Petri "Kommunikation mit Automaten" (Comunicación con autómatas), en
Alemania.
 En su disertación doctoral Petri formuló la base para una teoría de
comunicación entre componentes asíncronos de un sistema de cómputo.
 Las ideas de Petri atrajeron la atención de un grupo de investigadores del
Applied Data Research Inc. Dirigido por Anatol Holt y que trabajaban en el
proyecto "Information System Theory Project".
 El grupo, desarrolló la teoría del proyecto conocido como “Systemics”. Este
trabajo fue el que proporcionó la teoría primaria, notación y representación
de las Redes de Petri.
 La teoría de Redes de Petri fue divulgada en 1968 en el reporte final del
proyecto "Systemics".
 Posteriormente, en el artículo titulado "Events and Conditions", publicado en
1970, Holt y Commoner muestran como las Redes de Petri pueden
aplicarse al modelado y análisis de sistemas con componentes
concurrentes.
 El trabajo de Petri, también atrajo la atención del grupo "The Computation
Structures Group", bajo la dirección de Jack Dennis, que trabajaban en un
proyecto llamado "Project MAC" en el MIT.
 Este grupo, ha sido una fuente productiva de investigaciones y literatura,
publicando varias tesis doctórales, numerosos reportes y memoranda sobre
Redes de Petri.
 Carl Adam Petri extendió su teoría original, para incluir conceptos básicos
de flujo de información y de la estructura de sistemas concurrentes,
estimulando investigaciones en diversos centros de investigación europeos,
particularmente en el "Institut Für lnformations system for schung of the
Gessellschaft Für Mathematik und Datenverarbeitung" en Bonn, Alemania.
 Holt continuó con el desarrollo de nuevos conceptos a partir de su trabajo
original en "Systemics", se concentró en el desarrollo de herramientas para
la representación y análisis de sistemas.
 Su trabajo lo realizó principalmente en la investigación de aspectos
fundamentales de concurrencia y conflicto en sistemas con múltiples partes.
 En el MIT y muchos otros centros de investigación americanos, enfocaron
inicialmente sus investigaciones sobre Redes de Petri hacia la teoría de
autómatas.
 En la actualidad, existe gran difusión de los avances en Redes de Petri y
prácticamente existe una sola corriente entre los investigadores europeos y
los americanos, ya que la comunicación existente entre todos los grupos
beneficia el conocimiento de los nuevos avances.
Introducción:

Las redes de Petri (PN por su siglas en ingles Preti Net) representan una
alternativa para modelar sistemas, sus características hacen que, para algunos
problemas las redes de Petri funcionen de una manera natural. Las PN son
consideradas una herramienta para el estudio de los sistemas. Con su ayuda
podemos modelar el comportamiento y la estructura de un sistema, y llevar el
modelo a condiciones límite, que en un sistema real son difíciles de lograr o muy
costosas. La teoría de PN ha llegado a ser reconocida como una metodología
establecida en la literatura de la robótica para modelar los sistemas de
manufactura flexibles. Comparada con otros modelos de comportamiento dinámico
gráficos, como los diagramas de las máquinas de estados finitos, las PN ofrecen
una forma de expresar procesos que requieren sincronía. Y quizás lo más
importante es que las PN pueden ser analizadas de manera formal y obtener
información del comportamiento dinámico del sistema modelado.

Definiciones Básicas.

 Las Redes de Petri están compuestas de cuatro componentes básicos

que forman su estructura:

- Un conjunto de nodos.
- Un conjunto de transiciones.
- Una función de entrada y
- Una función de salida.

 Las funciones de entrada y salida relacionan las transiciones y las plazas.

 La función de entrada I es un mapeo a partir del conjunto de plazas de
entrada hacia la transición tj, la función se puede escribir como I(tj).
 La función de salida O es un mapeo a partir de la transición tj hacia el
conjunto de plazas de salida, la función de salida se puede escribir como
O(tj).

Definición:

Una estructura de Red de Petri RP, es una cuarteta RP = (P, T, I, O), donde:

1. P = {p1, p2,..., pn} es un conjunto finito de plazas, n≥1.

2. T = {t1, t2,..., tm} es un conjunto finito de transiciones m≥ 1.

3. El conjunto de plazas y el conjunto de transiciones son disyunciones;

Entonces:

R T ≠0 y P T=0
4. I:P T es la función de entrada, un mapeo desde las plazas de entrada hacia el
conjunto de transiciones.

5. O:T P es la función de salida, un mapeo desde las transiciones hacia el

conjunto de plazas de salida.
 La cardinalidad del conjunto P es n, y la cardinalidad del conjunto T es m;
n, m N (N en los números naturales).
 Un elemento arbitrario de P es pi, donde i=1,. . ., n, y un elemento arbitrario
de T es tj, donde j=1,..., m.

Grafo de la Red de Petri.

 Una representación gráfica de una Red de Petri es de gran utilidad para

ilustrar los conceptos de la teoría de las Redes de Petri.

 En el grafo de la Red de Petri existen dos tipos de nodos que corresponden

a las plazas y transiciones, representadas por círculos y barras
respectivamente (О,І)

 Las funciones de entrada y salida se representan por arcos dirigidos desde

las plazas a las transiciones y desde las transiciones a las plazas ( →).

Ejemplo:

Carros que van y vienen sincronizados. Al pulsar M ambos carros se desplazan a

la derecha; el regreso lo hacen simultáneamente cuando ambos carros se
encuentren en el extremo derecho
Reglas de Ejecución.

• Una Red de Petri se ejecuta por el disparo de transiciones.

• Una transición puede dispararse si está habilitada.
• Una transición está habilitada si cada una de sus plazas de entrada
tiene al menos un token.

Disparo y habilitación de las transiciones.

Los cambios en los estados de un sistema son modelados mediante las reglas de
activación y habilitación. Las reglas se describen de la siguiente manera:

1. Una transición t está habilitada con una marcación M si cada sitio de

entrada p está marcado con al menos W (p,t) tokens. De una manera más
formal,

∀ p ∈ ∙tM ( p) ≥ W (9 , t)

Si y sólo si t está habilitado.

2. Una transición puede o no ser disparada al habilitársele. Cuando más de

una transición es habilitada, alguna de esas transiciones es seleccionada
de manera no-determínistica dependiendo del modelo empleado.

3. Un disparo de una transición t resulta en W (p,t) tokens eliminados de cada

sitio de entrada p de t y la adición de W(t,p') tokens a cada sitio de salida p'.
Formalmente, el disparar una transición habilitada t resulta en un cambio de
la marcación M a M', donde:

M'(p) = M(p) + W(t,p) si p ∈t ∙ y p ∉∙ t

M'(p) = M(p) - W(p,t) si p ∈∙ p y p ∉t ∙

M'(p) = M(p) para cualquier otro caso.

Si t no tiene estados de entrada (por ejemplo, si ∙ t=ϕ ), se trata de una transición

fuente y está habilitada por vacuidad. Si t no tiene sitios de salida (por ejemplo, si
t ∙=ϕ ), se dice que esta es una transición sumergida. Una transición sumergida
``consume'' tokens, pero no produce ningún token.

Si una transición t es habilitada bajo la marcación M, y M' es la marcación

resultante del disparo de t, se representa como M →t M ´
Debe hacerse notar el hecho de que conforme las transiciones son disparadas, el
número total de tokens distribuidos a lo largo de la red puede variar, esto es, la
conservación de los tokens no siempre sucede.

Secuencia de disparo en una red de Petri

Redes de Petri Coloreadas

Las redes de Petri coloreadas (CPN) pertenecen a la familia de las PN, la

diferencia viene marcada por las consideraciones en CPN de colores y de
funciones lineales asociadas a sus arcos. Los tokens de color pueden representar
un atributo o distintivo, si es necesario definir dos atributos entonces surge la idea
de colores compuestos. Una transición en CPN está en estado ENABLED si todos
sus nodos de entrada contienen un número de colores igual o mayor que los
definidos por fi<c> donde fi es una función lineal asociada al nodo pi con la
transición tj. Entonces además del concepto de color, estas redes manejan una
función asociada para los elementos de las funciones I,O de la PN.

Es fácil ver en una Red las transiciones que están ENABLED y observar que a
veces son más de dos transiciones las que se pueden disparar, en la siguiente
figura notamos que t1 y t2 pueden dispararse, pero si t1 es disparada, t2 dejará de
ser ENABLED y si disparamos t2, no podremos disparar t1. Esto es conocido
como un conflicto y nos ayuda a modelar problemas de sincronización.

Extensiones al Modelo de Redes de Petri

Un arco inhibidor es otro componente de una PN, éste va de un nodo a una

transición y es representado con un pequeño círculo al final del arco. La transición
que tiene arcos inhibidores no puede dispararse si el nodo de entrada contiene por
lo menos tantos tokens como la multiplicidad del arco inhibidor.

En general las extensiones a la teoría de PN dependen del modelo o la aplicación

donde se estén usando.

Redes de Petri Temporales.

Este tipo de redes son las que consideran el tiempo en el modelo. Es una
consideración importante ya que los sistemas reales casi siempre es
indispensable considerarlo en la sincronización de los procesos.

El modelo más simple es el que asigna duración a:

Los nodos, en el sentido de que una condición es verdadera para una cierta
cantidad de tiempo.
La transición, en el sentido de que un evento toma una cierta cantidad de tiempo
en ocurrir.

Cuando la duración de los eventos no son fijos o no pueden ser expresados con
valores nominales, simplemente se estiman límites dentro de los cuales el evento
puede ocurrir

Conclusiones:

 Podemos concluir diciendo de que las Redes de Petri son una alternativa
de modelado de sistemas, aplicados principalmente hacia el control y
proceso, por su facilidad de manejo en el problema de la sincronización de
procesos.

 Constan de cuatro partes:

- Nodos
- Transiciones
- Funciones de entrada
- Funciones de salida

 Las entradas y/o salidas de una transición son conjuntos que pueden tener
elementos repetidos o múltiples ocurrencias.

 Cuentan con una asignación de tokens que es la parte dinámica de las

Redes de Petri.

 Las Redes de Petri se pueden representar gráficamente, un circulo O

representa un nodo y una barra | representa una transición, y los tokens
son representados por pequeños puntos ·
 Las Redes de Petri tienen reglas de disparo, siendo la principal, la que dice:
"todos los nodos de entrada de la transición, deben tener al menos el
mismo número de tokens, que número de arcos van hacia la transición para
que ésta sea disparada". Cuando la transición cumple dicha condición se
dice que es ENABLED.

 Existen extensiones a las Redes de Petri: por ejemplo las Redes de Petri
Coloreadas (PNC), las Redes de Petri Temporales, Redes de Petri
Estocásticas.

 Podemos modelar los sistemas dividiéndolos en eventos y condiciones. Las

condiciones son representadas por los nodos, y los eventos por las
transiciones.