You are on page 1of 10

Aplicación de las redes de Petri

a la simulación discreta de sistemas


Lic. Ana María Huayna D.1, Mg. Augusto Cortez Vásquez2, Mg. Hugo Vega Huerta3

Universidad Nacional Mayor de San Marcos


Facultad de Ingeniería de Sistemas e Informática

Av. German Amézaga s/n Ciudad Universitária, Lima 01, Lima, Perú
1
ahuaynad@unmsm.edu.pe, 2acortezv@unmsm.edu.pe, hugovegahuerta@hotmail.com

Resumen
El presente artículo presenta una revisión bibliográfica del uso de las Redes de Petri y sus posi-
bilidades de aplicación a la simulación de sistemas. Además muestra las ventajas que tienen las
Redes de Petri en el tratamiento individual de los procesos independientes, procesos paralelos o
concurrentes y en los recursos compartidos. También se describe un panorama general de las Re-
des de Petri extendidas donde resulta difícil modelar algunas condiciones o eventos de sistemas
mediante una red de Petri convencional.
Palabras clave: Red de Petri, modelación, procesos concurrentes.

Abstract
The present article does a bibliographical review of the use of Petri’s Networks and yours possibi-
lities of application to the system simulation. In addition it shows the advantages that have Petri’s
Networks in the individual treatment of the independent processes, parallel processes ó competing
and in the shared resources. Also there is described a general panorama of the Networks of wi-
despread Petri where it turns out difficult to shape some conditions ó system events by means of a
network of conventional Petri.
Keywords: Petri’s network, modeling, competing processes.

35
Revista de Ingeniería de Sistemas e Informática vol. 6, N.º 2, Julio - Diciembre 2009

1. INTRODUCCIÓN tema. En otras palabras, hace falta lograr un modelo


intermedio, en el que se puedan estudiar los principales
La red de Petri constituye una herramienta para el estu-
aspectos del sistema, es decir, los elementos que lo
dio de sistemas. La teoría de las redes de Petri permi-
componen y su interrelación estática y dinámica.
te modelar un sistema mediante una red de Petri, una
representación matemática del sistema. Por lo tanto, el En los trabajos [3, 4, 5, 6], el profesor Aimo Torn pro-
análisis de la red de Petri puede revelar informaciones pone el uso de las redes de Petri y extensiones de
importantes acerca de la estructura y el comportamien- esta para la modelación de sistemas a simular. Este
to dinámico del sistema modelado. Esta información tipo de redes puede servir para facilitar un enfoque de
puede entonces ser utilizada para evaluar el sistema prototipo, con el que se logre un modelo del sistema
modelado y sugerir mejoras o cambios. Así, el desa- previo al programa de computadora que refleje sus ca-
rrollo de la teoría de las redes de Petri está basado racterísticas fundamentales de manera gráfica de fácil
en la aplicación de las redes de Petri a la modelación y comprensión.
diseño de sistemas.
De acuerdo con la definición más común, la si- 2. FUNDAMENTACIÓN TEÓRICA
mulación discreta es una técnica numérica que
se utiliza para realizar experimentos en una 2.1. DEFINICIÓN DE UNA RED PETRI
computadora digital, a partir de la construcción Definimos un grafo como una estructura de datos confor-
de un modelo lógico-matemático que describe mada por el par G = (V, E), donde V constituye el conjun-
el comportamiento de los componentes del sis- to finito de vértices o nodos[2,3]. Cualquier arista e en E
tema y su interacción en el tiempo [1,2]. es incidente en un miembro de P y un miembro de T.
Un programa de computadoras se constituye como una En particular, una red de Petri posee dos tipos de
secuencia de instrucciones, confeccionadas a partir de nodos: los círculos representan lugares y las barras
un algoritmo. Es bien sabido en el ámbito computacio- representan las transiciones. De esta manera podemos
nal que la confección de un algoritmo es una tarea que decir que una red de Petri está constituida por lugares y
está lejos de ser trivial. En términos generales nos refe- transiciones. Formalmente la denotamos como el grafo
rimos a programas como la codificación de un algoritmo G = (P, T), donde V = P U T y P ∩ T = ø. El conjunto P
en algún lenguaje de programación. es el conjunto de lugares y el conjunto T es el conjunto
de transiciones.
Si un programa corresponde a un modelo de simulación
resulta mucho más difícil su preparación, ya que un pro- Los arcos dirigidos conectan los lugares y las transicio-
grama ordinario describe un proceso simple, mientras nes. Así algunos arcos se orientan desde los lugares
que un programa en simulación normalmente describe hacia las transiciones y otros se dirigen desde las tran-
varios procesos paralelos que interactúan en el trans- siciones hacia los lugares. Un arco dirigido desde un
curso del tiempo. Los nuevos lenguajes de orientación lugar Pj hacia una transición Tj define que ese lugar es
específica hacia la simulación vienen a aliviar estas di- una entrada a esa transición. Cuando a una transición
ficultades. Así se pueden mencionar el GPSS, GASP, entran múltiples arcos se dice que esta transición tiene
SLAM, SIMAN, SIMSCRIPT, SIMULA, etc. Sin embar- entrada múltiple y se expresa por la función de entrada
I (Pj). De la misma forma, los arcos que parten de una
go, aun con estos productos de software se percibe que
transición Pj indican los lugares que constituyen salida
las herramientas utilizadas en la programación normal
de la transición y matemáticamente se representan por
no son directamente aplicables en el diseño de progra-
la función O (Pj) [7, 8].
mas de simulación. Esta situación provoca con frecuen-
cia programas, es decir, modelos de simulación que no 2.2. ESTRUCTURA DE UNA RED PETRI
corresponden con el sistema objeto de estudio sin que
esto se logre detectar por su diseñador. En la fig. N.º 1 se muestra una red de Petri compuesta
por cuatro lugares P1, P2, P3, P4 y tres transiciones
Resulta necesario una herramienta que permita repre- T1, T2 y T3. Definiciones rigurosas del grafo de red
sentar a los componentes del sistema y la interacción de Petri desde el punto de vista matemático pueden
que ocurre entre ellos, antes de concebir el programa encontrarse en dos excelentes trabajos de James Pe-
de computadora que será el modelo definitivo del sis- terson [7, 8].

36
UNMSM - Universidad Nacional Mayor de San Marcos

La estructura de una red de Petri se define por sus lu- Estos conceptos permiten definir la estructura estática
gares, transiciones, la función de entrada y la función de la red. Las propiedades dinámicas se determinan
de salida. Por definición la estructura C de una red de utilizando el concepto de marcación.
Petri es una cuaterna (o una 4 tupla), C = (P, T, I, O),
donde 2.3. MARCACIÓN DE UNA RED DE PETRI

P = {P1, P2,... Pn} es un conjunto finito de lugares n ≥ 0 La ejecución de una red de Petri es controlada por la
posición y el movimiento de las marcas (llamadas tam-
P = {t1, t2,... tn} es un conjunto finito de transiciones n bién fichas o puntos) “tokens” en la red. Las fichas, re-
≥0 flejadas por puntos negros, residen en los lugares de la
Los conjuntos P y T son disjuntos P ∩ T = ø red, es decir, en los nodos – círculos. Una red de Petri
con fichas es una red marcada.
I : T → p∞ es la función de entrada que aplica las tran-
siciones a los acopios de posiciones. Estas son las reglas de ejecución de una red de Pe-
tri básica: las fichas se mueven con el disparo de las
O : T → p∞ es la función de salida que aplica las tran- transiciones de la red. Una transición tiene que estar
siciones a los acopios de posiciones o lugares. permitida o activada para poderse disparar. Una transi-
La estructura de la red de Petri de la figura N.º 1 es la ción es permitida cuando todos sus lugares de entrada
siguiente: tienen fichas. El efecto del disparo de una transición o
la descarga es la eliminación de una ficha en los luga-
C = (P, T, I, O)
res de entrada por cada arco de entrada a la transición
P = {P1, P2, P3, P4} y la generación de nuevas fichas que son depositadas
T = {t1, t2, t3} en los lugares de salida de la transición en una cantidad
I (t1) = {P1} O (t1) = {P2} correspondiente a la cantidad de arcos de salida de la
transición hacia cada lugar de salida.
I (t2) = {P2, P3} O (t2) = {P4}
I (t3) = {P4} O (t3) = {P3, P1} En la fig. N.º 2 (a) por ejemplo, la transición T2 es permi-
tida, dado que existe una ficha en su lugar de entrada P1.
La estructura tiene una amplia fundamentación teórica Por otra parte la transición T5 no está permitida, ya que
que se basa en la teoría de conjuntos y de acopios y so- en P3, entrada de T5 no hay ficha. Si T2 se dispara, re-
bre ella se estructuran importantes técnicas de análisis sultará la red de Petri marcada que se muestra en la fig.
de la red de Petri. N.º 2 (b). Este disparo elimina la ficha del lugar P1 y colo-
Resulta importante señalar que el grafo de una red de ca fichas en P2 y P3 que son las dos salidas de T2.
Petri es equivalente a su estructura C, es decir, dado
un grafo G se puede obtener la estructura de la red de P1 P4
T2
Petri y viceversa, dada una estructura de la red de Petri T1 T4
T3
C se puede obtener su correspondiente grafo G. P3
P2 P5
T5

P1 P6 P7
a)
T1 T6

P2 P3 P1 T2 P4
T3
T1 T4
P3
T2
P2 P5
T5
P4
T3 P6 P7
b)
T6
Figura N.º 1. Ejemplo de red de Petri Figura N.º 2. Marcación de red de Petri.

37
Revista de Ingeniería de Sistemas e Informática vol. 6, N.º 2, Julio - Diciembre 2009

Como se observa, el marcaje de una red de Petri puede tos eventos puede cambiar el estado del sistema, cau-
cambiar como resultado del disparo de una transición y sando que algunas de las condiciones previas cesen, y
así aparecerán nuevas transiciones permitidas. Así, en aparezcan otras condiciones.
la marcación de la fig. N.º 2 (b) se tienen tres transicio-
Un ejemplo simple puede ser que la aparición simultá-
nes permitidas: T1, T3 y T5 ninguna de las cuales era
nea de dos condiciones:
permitida en la marcación de la fig. N.º 2 (a).
“Es necesario el procesador de la computadora”, y la
La representación de la marcación µ de la red de Petri
condición
C = ( P, T, I, O) es la función que aplica el conjunto de
las posiciones P en el conjunto de los números ente- “El procesador de la computadora está disponible”
ros positivos. La marcación se representa empleando
debe producir la ocurrencia del evento: “Cargar el pro-
fichas (marcas o puntos) dentro de las posiciones. El
cesador de la computadora”.
número y posición de las fichas pueden cambiar duran-
te la ejecución de la red de Petri. Las fichas son usadas La ocurrencia de este evento provoca el cese de la con-
para definir la ejecución de una red de Petri. dición “El procesador de computadora está disponible”
y “Es necesario el procesador de la computadora” pro-
Las marcaciones se representan mediante un vector µ
duciendo la condición “El procesador está ocupado”.
= ( µ1, µ2,...., µn) , donde n es la cantidad de posiciones
Estos eventos y condiciones son modelados en la red
que posee la red, y cada µi representa el número de
de Petri de la fig. N.º 3.
fichas en la posición pi.
Una versión más completa de este problema se ve en
La definición de una marcación como función y como
la fig. N.º 4.
vector se encuentra relacionada por µ(pi) = µi. Esta no-
tación es la más general y por lo tanto la más usada. 2.4. MARCADOS ALCANZABLES
Una red de Petri C con una marcación µ se le denomi-
na red marcada de Petri. Si una serie de descargas transforma un marcado M en
un marcado M’, decimos que M’ es alcanzable desde
James Peterson en sus trabajos [7, 8] afirma que las M. En la fig. N.º 5 M’’ es alcanzable desde M, descar-
redes de Petri fueron concebidas para la modelación gando primero la transición T1 y luego descargando la
de una clase específica de problemas, la clase de sis- transición T2.
temas de eventos discretos con eventos concurrentes ó
paralelos. Las redes de Petri modelan sistemas y princi-
palmente dos aspectos de sistemas: eventos, condicio- Una nueva tarea entra al sistema
nes y las relaciones existentes entre ellos. Al modelar
una situación, los lugares representan condiciones, las
La tarea está
transiciones representan eventos, y la presencia de al
en espera de
menos un elemento en un lugar (condición) indica que ser procesada El procesador
tal condición se cumple [10]. Desde este punto de vista, Se inicia el está disponible
en el sistema, en cualquier instante de tiempo tendrán proceso
lugar determinadas condiciones. El hecho de que ten-
La tarea está
gan lugar estas condiciones puede causar la ocurrencia en proceso
de determinados eventos. A su vez la ocurrencia de es- La tarea se
concluye
El procesador de la
Es necesario el computadora está
procesador de la disponible El trabajo está en
computadora la lista de salida
Cargar el procesador
de la computadora El trabajo deja
el sistema
El procesador está ocupado
Figura N.º 3. Aparición simultánea de dos condiciones para una Figura N.º 4. Versión más completa del proceso.
transición.

38
UNMSM - Universidad Nacional Mayor de San Marcos

a Descarga de 11 a En este punto, la red de Petri está estancada; es decir,


ninguna transición se puede descargar.

n o n o
MARCADO VIVO
Un marcado M de una red de Petri esta vivo si, partien-
u u do de M, sin importar la serie de descargas realizadas,
a
Descarga de 13 Descarga de 12 es posible descargar cualquier transición dada median-
te alguna secuencia de descargas adicionales.

n o Si un marcado M está vivo para una red de Petri P,


entonces, sin importar la serie de descargas de tran-
u siciones, P nunca se estancará. De hecho, podemos
Figura N.º 5. El marcado M’’ es alcanzable desde M, descargando
descargar cualquier transición mediante cierta secuen-
primero T1 y luego T2. cia de descargas adicionales [10].
Al modelar una situación, la descarga de una transi- El marcado M de la red de la Fig. N.º 5 está vivo. Para
ción simula la ocurrencia de ese evento. Por supuesto, ver esto, observe que la única transición del marcado
un evento puede ocurrir solo si se cumplen todas las M que se puede descargar es T1, la cual produce el
condiciones para su ejecución; es decir, la transición marcado M’. La única transición del marcado M’ que
se puede descargar solo si está permitida o activada. puede descargarse es T2, la cual produce el marcado
Entre las propiedades más importantes estudiadas en M’’. La única transición del marcado M’’ que se puede
la teoría de las redes de Petri están la supervivencia y
D disponible
la seguridad. La supervivencia se refiere a la ausencia
de estancamientos y la seguridad se relaciona con la Solicitar D Solicitar D

capacidad limitada de la memoria. D Lista D Lista


Se ha terminado Se ha terminado
2.5. SUPERVIVENCIA con D y P con D y P

Formalmente, decimos que una red de Petri marcada Liberar Liberar


Procesar Procesar
está estancada si ninguna transición se puede descar- DyP DyP
P Lista P Lista
gar. Una preocupación fundamental en los ambientes
de procesamiento concurrentes es la forma de evitar Solicitar P Solicitar P

los estancamientos. En la fig. N.º 6, se muestra que


Persona 1 Persona 2
ha ocurrido un estancamiento para un modelo de red
P disponible
Petri para un Sistema de Cómputo compartido. Donde
En la Figura N.º 6. b) Después de descargar “Solicitar D” y luego
dos personas comparten un sistema que contiene una “Solicitar P” para la persona 1.
unidad de disco D y una impresora P.
D disponible
D disponible
Solicitar D Solicitar D
Solicitar D Solicitar D

D Lista D Lista
D Lista D Lista
Se ha terminado Se ha terminado
Se ha terminado Se ha terminado con D y P con D y P
con D y P con D y P

Liberar Procesar Procesar Liberar


Liberar Procesar Procesar Liberar DyP DyP
DyP DyP
P Lista P Lista
P Lista P Lista
Solicitar P Solicitar P
Solicitar P Solicitar P

Persona 1 Persona 2
Persona 1 Persona 2
P disponible
P disponible
En la Figura N.º 6. a) nos indica que las 2 unidades están En la Figura N.º 6. c) Después de descargar “Solicitar D” para la
disponibles persona 1 y luego “Solicitar P” para la persona 2.

39
Revista de Ingeniería de Sistemas e Informática vol. 6, N.º 2, Julio - Diciembre 2009

descargar es T3, la cual nos regresa al marcado M. Así, trar o abandonar el sistema en cualquier instante de
cualquier secuencia de descarga, que parta del marca- forma independiente de la acción del procesador. Sin
do M produce uno de los marcados M, M’ M’’, y de ahí embargo, cuando se requiere la sincronización, por
podemos descargar cualquiera de las transacciones ejemplo cuando la disponibilidad del procesador y la
T1, T2 o T3 procediendo como en la Fig. N.º 5. aparición de una tarea deben tener lugar para iniciar el
procesamiento, dicha situación se puede modelar sin
2.6.SEGURIDAD dificultad.
Si se considera que un lugar tiene capacidad limitada, Naturaleza asincrónica: No existe una dimensión del
el hecho de que la red sea acotada nos garantiza que tiempo inherente a la red de Petri. Esto refleja la filo-
no habrá un desbordamiento de los lugares. sofía del tiempo que establece que la única propiedad
importante del tiempo, desde el punto de vista lógico,
MARCADO SEGURO
es la definición del orden parcial de la ocurrencia de
Un marcado M para una red de Petri está acotado si los eventos. Los eventos toman magnitudes de tiempo,
existe algún entero positivo n con la propiedad de que, variables en la vida real. El modelo de red de Petri re-
en cualquier secuencia de descarga, ningún lugar reci- fleja esta variabilidad mediante la no dependencia de la
be más de n elementos. Si un marcado M está acotado noción del tiempo para controlar la secuencia de even-
y en cualquier secuencia de descarga ningún lugar reci- tos. Por consiguiente, la estructura de la red de Petri
be más de un elemento, decimos que M es un marcado en sí tiene que contener toda la información necesaria
seguro. para definir las secuencias posibles de eventos en el
Si cada lugar representa un registro capaz de guardar sistema modelado. Por otra parte, los eventos que no
una palabra de computadora y si un marcado inicial es están restringidos en términos de su orden de ocurren-
seguro, tenemos garantizado que no se excederá la cia relativa, no se encuentran restringidos.
capacidad de memoria de los registros. No determinismo: La red de Petri, al igual que el sis-
Los marcados de la fig. N.º 5 son seguros. El marcado tema que ella modela, es vista como una secuencia de
M de la fig. N.º 7 no es seguro pues, como se muestra, eventos discretos, cuyo orden de ocurrencia es uno de
si se descarga la transición T1, el lugar P2 entonces los muchos permitidos por su estructura básica. Esto
tendrá dos elementos. Al enumerar todos los marcados apunta a un carácter no determinístico de la ejecución
alcanzables desde M, se puede verificar que M está de la red de Petri. Si en un momento determinado pue-
acotada y viva. de ocurrir más de una transición, entonces cualquiera

2.7. PROPIEDADES DE LAS REDES PETRI


a) Concurrencia. Modelación de
Concurrencia y paralelismo: En un sistema existen eventos “simultáneos” que pueden
varias entidades independientes. En la fig. N.º 4 podría- ocurrir en cualquier orden
mos mencionar las tareas y el procesador. En la red de
Petri, los eventos que concurren solo a uno de los tipos
de entidades, pueden ocurrir independientemente; no
hay ninguna necesidad de sincronizar las acciones de
las tareas y del procesador. Así, las tareas pueden en-
t2 t2
p1 p3 p1 p3 Tj
p4 Descarga de 11 p4 b) Ilustración de transiciones en
p2 p2
conflicto Tj y Tk se encuentran en
t1 t3 t1 t3 Pc conflicto dado que el disparo de
p6 p6
Tk uno de ellos hará que la otra sea
no permitida
p5 p5
M
Figura N.º 7. El marcado M no es seguro. Después de descargar
T1, P2 tiene 2 elementos. Figura N.º 8. Concurrencia y conflicto entre transiciones.

40
UNMSM - Universidad Nacional Mayor de San Marcos

de las transiciones permitidas pueden dispararse. La se destaca el árbol de alcance con el que se puede
selección de la transición que se dispara se hace de reflejar la secuencia de estados representados por las
una manera no determinística. marcaciones consecutivas que logra el sistema en la
medida en que se ejecutan los disparos de las transi-
Carácter instantáneo de los eventos: El disparo de
ciones permitidas.
las transiciones se considera instantáneo (toma un
tiempo igual a cero). Se estima que la probabilidad de 3. REDES DE PETRI EXTENDIDAS
ocurrencia de dos o más eventos de forma simultánea
es igual a cero. Los eventos que se modelan se consi- Realmente existen puntos de vistas controversiales
deran primitivos. Esta propiedad permite dar respuesta respecto al poder de modelación de las redes de Petri.
a dos situaciones que se resuelven mediante el deno- “Resulta difícil modelar algunas condiciones o eventos
minado “free choice” (opción libre): concurrencia y con- de sistemas mediante una red de Petri” dice Peterson
flicto (Fig. N.º 8) [8] y se ha demostrado que resulta imposible modelar
correctamente algunos tipos de sistemas. De aquí que
Modelación jerárquica de un sistema: Esta es una de hayan aparecido algunas extensiones del poder de mo-
las propiedades más útiles de las redes de Petri para delación de las redes de Petri, que a continuación se
la modelación. Se trata de posibilitar diferentes niveles resumen.
de abstracción en la modelación de un sistema. Una
red entera puede ser sustituida por un lugar o una tran- Red de Petri generalizada: La primera extensión eli-
sición al modelar un nivel más abstracto del sistema. mina la restricción que establece que el disparo de una
Asimismo un lugar o una transición puede ser sustituido transición eliminará una y solo una ficha de los lugares
por una subred para una modelación más detallada. En de entrada y aportará una y solo una ficha a los lugares
la siguiente figura se muestra esta capacidad de mo- de salida. Con la eliminación de esta restricción cada
delación jerárquica, que en el análisis de sistemas de lugar puede tributar o recibir más de una ficha al dispa-
información tiene el nombre de análisis “top – down” de rarse la transición correspondiente. La representación
lo general a lo particular. de la cantidad de fichas que se mueven se hace me-
diante la ubicación de múltiples arcos entre el lugar y la
Existe un número determinado de técnicas de análisis transición correspondiente, o mediante la señalización
de las redes de Petri que pueden estudiarse en los tra- del número de fichas sobre un arco resaltado con doble
bajos antes referidos de James Peterson y entre ellas línea.

Figura N.º 9. Modelación jerárquica en una red de Petri mediante la sustitución de posiciones y transiciones por subredes. (Tomado de
Peterson [9]).

41
Revista de Ingeniería de Sistemas e Informática vol. 6, N.º 2, Julio - Diciembre 2009

La existencia de arcos generalizados impone una rec- trabajos de Aimo Torn. Una cola se representa median-
tificación en la regla de disparo de una transición. En te un lugar (o posición) diferenciado por un segmento
este caso una transición se disparará cuando la can- de recta horizontal que lo atraviesa. No se han hallado
tidad de fichas en cada posición de entrada sea igual diferencias en el tratamiento de una cola con respecto a
o mayor a la cantidad de arcos entre dicha posición y un lugar común, salvo el valor informativo que aporta.
la transición. En el caso de la Fig. N.º 10, se tiene que
para que la transición T1 pueda encontrarse habilita-
4. LAS REDES DE PETRI Y LA SIMULACIÓN
da, la posición P1 deberá contener al menos 3 fichas.
DISCRETA DE EVENTOS
Cuando la transición se dispara, se deberán eliminar 3
fichas de la posición P1, una de la posición P2 (dado Prácticamente todos los ejemplos expuestos en los
que el arco de salida de P2 a T1 es simple), y ubicarse trabajos de Peterson [7, 8], así como en el libro de
2 fichas en la posición P3, ya que el arco que une la Gorbatov sobre Matemática Discreta, el español Vaca
transición T1 con la posición P3 es un arco generaliza- y otros, son problemas cuya solución más natural a los
do con el número 2 asociado. efectos de su estudio es mediante la simulación dis-
creta. Sin embargo, no se hace mención de un posible
Redes con tiempo (Timed Net): Aimo Torn [3, 4, 5,
encadenamiento o simbiosis de estas herramientas de
6] investigó mucho sobre la aplicación de las redes de
modelación. Ya en los trabajos de Torn [3, 4, 5, 6] se
Petri a la obtención de modelos de problemas a simular
enfoca esta posibilidad, e incluso la necesidad que tie-
por computadoras. Se plantea que una red en la que
ne la simulación de una herramienta como las redes de
se admiten los tiempos se denomina red con tiempo. El
Petri para elevar la calidad de los modelos a simular.
tiempo se ubica al lado de la transición y se entiende
El mismo Torn propone un grupo de extensiones para
que ese será el tiempo que transcurra entre el momento
elevar –de acuerdo con su criterio– el poder de modela-
que se dispara la transición (instante en que se eliminan
ción de las redes de Petri y su utilidad para los diseños
las fichas de los lugares de entrada) y el momento en
de simulación.
que se obtiene la salida de ella (en que se depositan las
fichas en los lugares de salida). En nuestra opinión esta
extensión oscurece en determinada medida la sencillez
de funcionamiento de una red de Petri, sin embargo, P2
P1
su definición puede ser la base para el empleo de las 3
redes de Petri en la modelación de un sistema a simular T1
con técnicas estocásticas. 2
Redes de Petri con arcos inhibidores: Cuando se P3
pretende modelar sistemas de prioridades, las redes de Figura N.º 10. Red de Petri generalizada.
Petri básicas presentan dificultades. Estas se contra-
rrestan insertando los denominados arcos inhibidores. P2
Para que una transición que tenga un arco inhibidor P1
como entrada sea permitida, debe cumplirse que en
el lugar de entrada correspondiente no haya ninguna T1
ficha. El arco inhibidor se representa con un pequeño
círculo en lugar de la punta de la flecha. P3

En la Fig. N.º 11, aparece un arco inhibidor, mediante el Figura N.º 11. Arcos inhibidores.
cual se conecta la posición P1 con la transición T1. Por
este motivo, para que la transición T1 quede habilitada, P2
P1
será necesario que en la posición P2 exista al menos
una ficha, mientras que en la posición P1 no puede
T1
existir ficha alguna.
Colas: Al igual que la extensión anterior las colas se P3
exponen como extensión de las redes de Petri en los Figura N.º 12. Representación de una cola en una red de Petri.

42
UNMSM - Universidad Nacional Mayor de San Marcos

En la aplicación de las redes de Petri a la simulación, 5. CONCLUSIONES


los lugares se deben interpretar como condiciones o
Una Red de Petri es una representación matemática de
actividades, mientras que las transiciones representan
un sistema distribuido discreto. El uso de redes de Petri
los eventos. Una ficha en una posición significa que la
representa una alternativa para modelar sistemas, sus
condición en cuestión tiene lugar. Luego entonces, la
características hacen que, para algunos problemas las
modelación consiste en la conexión de los eventos con
redes de Petri funcionen de una manera natural. Consi-
la ayuda de sus pre y poscondiciones.
deramos que las redes de Petri pueden utilizarse como
En nuestra opinión las redes de Petri pueden utilizarse modelo previo al programa de simulación con el cual se
como modelo previo al programa de simulación con el realizarán las corridas necesarias.
cual se realizarán las corridas necesarias. Las redes
El carácter jerárquico que poseen las redes de Petri
de Petri permitirán alcanzar una plena comprensión
facilita un incremento paulatino de la complejidad del
del funcionamiento del sistema a simular antes de ini-
modelo y la ejecución de corridas manuales de che-
ciar los trabajos de programación e incluso antes de
queo de cada nivel de abstracción que se logra con el
definir el conjunto de atributos y componentes del mo-
modelo. Permite prácticamente trabajar con un prototi-
delo. En otras palabras, las redes de Petri permitirán
po del modelo de simulación sin incurrir en gastos de
reflejar gráficamente el conjunto de relaciones entre
tiempo y recursos de programación.
los eventos y condiciones que identifican el sistema.
Esta posibilidad contribuirá ineludiblemente a elevar la A los efectos técnicos el empleo de la red de Petri no
calidad del modelo de simulación, es decir, una mayor acelera de manera directa la obtención del programa
correspondencia entre modelo y sistema simulado. En de simulación. Es mediante una mayor comprensión y
cierta forma se logra una maqueta gráfica del modelo comprobación del funcionamiento del sistema objeto de
que debe diseñarse posteriormente como programa de estudio antes de desarrollar el trabajo de programa-
computadora. ción, que se ganará en calidad del modelo de simula-
ción, es decir del programa de computadora. Por otra
En la siguiente figura se muestra gráficamente esta
parte la sencillez en la confección de la red de Petri
idea:
permite enfrentar en un ámbito docente la solución de
problemas de simulación mucho más complejos que
los que se realizan en estos momentos, aspecto que
elevará la calidad de los conocimientos que adquiere
Sistema objeto de el estudiante.
estudio
Queda aún por descubrir un amplio camino para lo-
grar una explotación totalmente madura de las redes
de Petri como prototipo de modelo a simular por com-
putadora, pero queda evidenciada la potencialidad de
esta herramienta para lograr una mayor calidad en los
Red de Petri de
modelos de simulación discreta por computadora.
sistema
6. REFERENCIAS BIBLIOGRÁFICAS
[1] Álvarez-Buylla Valle, M.: Modelos Económico Mate-
mático II. Tomo 2. Editora I.S.P.J.A.E . Ciudad de la
Habana. 1987.
Programa de [2] Ravindran, A. y otros: Operations Research. Prin-
simulación
(Modelo definitivo)
ciples and Practice, Editora John Wiley and Sons,
New York, 1987.
[3] Torn, A.: Simulation graph: A general tool for mo-
Figura N.º 13. Integración de las Redes de Petri y la simulación deling simulation designs. Revista SIMULATION
discreta por computadora 37:6.1981.

43
Revista de Ingeniería de Sistemas e Informática vol. 6, N.º 2, Julio - Diciembre 2009

[4] Torn, A.: Simulation nets, a simulation modeling and [7] Peterson, J.: Petri Nets Computing Surveys, Vol. 9.
validation tool. Revista Simulation 45:2.1985. No. 3. Sept. 1977.
[5] Torn, A.: Simulation nets – an application of Petri [8] Peterson, J.: Petri Nets Theory and The Modeling of
nets to system simulation. Transactions on scientific Systems Prentice. Hall Englewood Cliffs, 1981
computing – ’85, Vol. 2, Computer systems : Perfor- [9] Gonzáles,A.: The engineering of knowledge-based
mance and simulation 1986. systems. Prentice-Hall, 1993.
[6] Torn, A.: Systems modelling and analysis using Si- [10] Johnsonbaug, R.: Matemáticas Discretas stems
muletion Nets, Revista Artificial Intelligence, Expert Prentice Hall – Pearson. México, 1999.
Systems and Languages in Modelling an Simula-
tion. Elsevier science Pubs. 1988.

44

You might also like