PROCESO DE PRODUCCIÓN DE TPU

Sofía Hurtado Ramos

sofia.hurtado@uao.edu.co
Juan Carlos Mena Moreno
Autómatas programables
Universidad Autónoma De Occidente, Facultad de Ingeniería.
Cali - Colombia

Abstract— The objective of this document is to delve

into Petri nets, starting from their fundamental
description and advancing towards formal verification
to authenticate the generated models. This ensures the
smooth operation of a sequential process, guaranteeing
the accuracy and reliability of the models.
Keywords – Petri Nets, Modeling, System Analysis,
Concurrency, Concurrent Processes.
En este documento, se explorarán los conceptos
fundamentales de las Redes de Petri, examinaremos
sus aplicaciones en el análisis y diseño de sistemas, y
discutiremos su importancia en la comprensión de la
concurrencia en el mundo digital contemporáneo.
II. MARCO TEÓRICO

I. INTRODUCCIÓN Representaciones de una red de Petri

En el vasto campo de la informática y la ingeniería de Las Redes de Petri son una herramienta gráfica
sistemas, la gestión eficaz de la concurrencia es un utilizada para modelar sistemas concurrentes.
desafío crucial. Los sistemas modernos a menudo Consisten en un conjunto de lugares, transiciones,
involucran múltiples procesos que compiten por arcos y tokens que representan entidades y
recursos compartidos, lo que puede llevar a relaciones en el sistema.
problemas como condiciones de carrera, bloqueos y
problemas de sincronización. Para abordar estos Lugares o Marcas
desafíos, se han desarrollado diversas herramientas y
técnicas, y entre ellas, las Redes de Petri han
emergido como una herramienta especialmente
poderosa.

Las Redes de Petri son un modelo formal y gráfico

utilizado para representar sistemas concurrentes,
ofreciendo una representación intuitiva y visual de la
interacción entre procesos, recursos y eventos en un Imagen 1: Símbolo de plazas
sistema. Con sus elementos básicos de lugares,
transiciones, arcos y tokens, las Redes de Petri Los lugares son representados gráficamente como
proporcionan un marco estructurado para capturar la círculos y pueden contener tokens, que son
dinámica de los sistemas concurrentes. representados por marcas dentro de los lugares. Los
tokens indican el estado del sistema y pueden
Una de las ventajas clave de las Redes de Petri es su representar recursos, condiciones o estados. [9]
capacidad para modelar sistemas complejos de
manera sistemática y comprensible. Al permitir Transiciones
representar las interacciones entre procesos, así como
el flujo de recursos y la sincronización de actividades,
las Redes de Petri facilitan la identificación de
posibles problemas en el diseño de sistemas y la
evaluación de estrategias para mejorar su rendimiento
y fiabilidad.

Además, las Redes de Petri son altamente versátiles y

se aplican en una amplia gama de áreas, desde
sistemas informáticos y redes de comunicación hasta Imagen 2: Símbolo de transiciones
procesos industriales y sistemas biológicos. Su
capacidad para capturar la concurrencia y la Las transiciones representan eventos o acciones que
interacción entre diferentes componentes los hace pueden ocurrir en el sistema. Están representadas
valiosos tanto para la investigación teórica como para gráficamente como barras verticales y pueden ser
la ingeniería práctica.
disparadas cuando se cumplen ciertas condiciones de
entrada.
1. Arcos
Imagen 3: Símbolo de Arcos
Los arcos conectan lugares con transiciones o
viceversa, y representan las relaciones entre ellos.
Pueden ser arcos de entrada, indicando que una
transición requiere tokens en ciertos lugares para ser
disparada, o arcos de salida, indicando que una
transición produce tokens en ciertos lugares después
de ser disparada.[9]
Marcas o Tokens
Imagen 4: Símbolo de Token (1 Marca en 1 lugar)
El símbolo de token, representado por un punto
dentro de un lugar, indica la presencia de una marca
en ese lugar específico [6].
Los tokens son unidades abstractas que se mueven
entre los lugares y transiciones de la red de acuerdo
con las reglas de flujo definidas en la estructura de la
red. Cumplen la función vital de habilitar o
deshabilitar acciones dentro de la RED.
Imagen 5: Red de Petri con sus partes
Reglas de Disparo
Las reglas de disparo son un conjunto de
condiciones que determinan cuándo una transición
en una red de Petri está habilitada para dispararse y
realizar su acción correspondiente. Estas reglas son
fundamentales para el funcionamiento dinámico de
una red de Petri y garantizan la coherencia y
eficiencia del modelo.
Existen diferentes tipos de reglas de disparo que se
aplican en función de la naturaleza de la red de Petri
y las características de las transiciones y lugares.
Algunas de las reglas de disparo más comunes
incluyen:
1. Regla de Marcaje: Una transición está
habilitada para dispararse si todos los lugares de
entrada tienen al menos una marca. Esta regla
garantiza que todas las condiciones previas se
cumplan antes de que una transición pueda activarse.
2. Regla de Capacidades: Algunas transiciones
pueden tener una capacidad específica, lo que
significa que necesitan un número mínimo de marcas
en los lugares de entrada para ser habilitadas. Esta
regla permite controlar la cantidad de recursos
necesarios para activar una transición.
3. Regla de Exclusión Mutua: Si varias
transiciones comparten lugares de entrada o salida,
solo una de ellas puede dispararse a la vez. Esta
regla evita conflictos y asegura que las transiciones
se ejecuten de manera ordenada y no simultánea.
4. Regla de Prioridad: En algunas ocasiones, es
necesario establecer prioridades entre las
transiciones para determinar cuál se activa primero
en caso de que múltiples transiciones estén
habilitadas al mismo tiempo. Esta regla permite
controlar el orden de ejecución de las transiciones y
garantizar un comportamiento determinista del
sistema.
Las reglas de disparo son esenciales para controlar el
comportamiento dinámico de una red de Petri,
asegurando que las transiciones se activen de manera
coherente y eficiente en función de las condiciones
del sistema. Estas reglas proporcionan un marco
claro para el diseño y análisis de modelos de redes
de Petri en una amplia variedad de aplicaciones.
En términos simples, el comportamiento de muchos
sistemas puede entenderse observando cómo
cambian sus estados con el tiempo. En una red de
Petri, estos estados se definen por el marcado, que es
básicamente la distribución de tokens en la red en un
momento dado. Los tokens representan la presencia
de elementos o condiciones en diferentes partes de la
red. Durante la ejecución de la red, los tokens se
mueven de acuerdo con las reglas de disparo, que
determinan cuándo y cómo las transiciones pueden
activarse.
Las reglas básicas de disparo para una red de Petri
clásica son simples pero fundamentales para
entender su dinámica. Una transición se activa
cuando cada uno de sus lugares de entrada contiene
al menos un token. Una vez activada, la transición
consume un token de cada lugar de entrada y
produce un token en cada lugar de salida
correspondiente. Esto refleja cómo los elementos o
condiciones se mueven y cambian dentro de la red,
manteniendo su equilibrio y permitiendo que el
sistema evolucione con el tiempo.
Además de estas reglas de disparo, las redes de Petri
se clasifican según ciertas características. Por
ejemplo, una red de Petri es considerada ordinaria si
el peso de sus arcos siempre es uno. La pureza de
una red de Petri se refiere a la ausencia de auto
bucles, que son conexiones donde un lugar está tanto
en la entrada como en la salida de una misma
transición. También existen transiciones especiales,
como las fuentes, que no tienen lugares de entrada, y
los sumideros, que carecen de lugares de salida.
Estas características adicionales ayudan a definir y
comprender mejor la estructura y el comportamiento
de una red de Petri.
Multiplicidad
En las redes de Petri, la multiplicidad se refiere a la
cantidad de tokens que un lugar puede contener
simultáneamente. Es esencialmente una medida de la
capacidad de un lugar para almacenar recursos o
elementos específicos. Esta propiedad puede ser fija
o variable, dependiendo de si la cantidad de tokens
en un lugar puede cambiar durante la ejecución del
sistema modelado. La multiplicidad juega un papel
crucial en la representación precisa de sistemas
concurrentes, donde la disponibilidad de recursos y
la gestión de la concurrencia son aspectos
fundamentales.
La multiplicidad proporciona información sobre la
capacidad de un lugar para almacenar tokens, lo que
influye directamente en el comportamiento dinámico
de la red de Petri. Al definir la multiplicidad de un
lugar, se establece cuántos tokens pueden estar
presentes en ese lugar en un momento dado, lo que
ayuda a modelar de manera precisa la cantidad de
recursos disponibles o la capacidad de
procesamiento en un sistema. Esta propiedad es
esencial para comprender y analizar sistemas
complejos donde la concurrencia y el manejo
eficiente de recursos son críticos para su
funcionamiento adecuado.
Transacciones
En el contexto de las redes de Petri, una transición es
un elemento que representa un evento o una acción
que puede ocurrir en el sistema modelado. Las
transiciones pueden ser de diferentes tipos,
dependiendo de cómo interactúan con los lugares de
entrada y salida de la red de Petri:
Transiciones Normales: Son aquellas que requieren
que todos los lugares de entrada contengan al menos
un token para poder dispararse. Una vez activadas,
consumen los tokens de los lugares de entrada y
producen nuevos tokens en los lugares de salida
según las reglas de la red.
Transiciones Fuertes:
Las transiciones fuertes son un concepto importante
en las redes de Petri que se refiere a transiciones que
solo pueden dispararse si se cumplen todas las
condiciones de activación. En otras palabras, una
transición fuerte solo puede activarse si todos los
lugares de entrada tienen al menos un token. Este
tipo de transición asegura que todas las
precondiciones necesarias para que ocurra el evento
representado por la transición estén presentes en el
sistema. La utilización de transiciones fuertes es
fundamental para definir claramente las
dependencias entre eventos en el sistema modelado y
garantizar que las transiciones se disparen de manera
controlada y predecible.
Estos diferentes tipos de transiciones permiten
modelar una amplia variedad de comportamientos en
sistemas representados por redes de Petri, desde
eventos simples hasta procesos más complejos que
involucran condiciones específicas para su
ejecución.
Imagen 6: Redes de Petri con Multiplicidad, Transición Fuente y
terminal
Dualidad
En una red de Petri dual, los lugares se convierten en
transiciones y viceversa. Esto significa que lo que
solía ser un lugar ahora se convierte en una entidad
que dispara transiciones, y lo que solía ser una
transición ahora se convierte en un lugar donde los
tokens pueden residir. Esta dualidad es posible
debido a la simetría inherente en la representación
gráfica de las redes de Petri, donde los lugares y las
transiciones están conectados por arcos.
La dualidad en las redes de Petri permite realizar
transformaciones y análisis que de otra manera
serían difíciles de llevar a cabo. Por ejemplo, ciertos
problemas que son difíciles de resolver en una red de
Petri original pueden volverse más simples en su red
dual correspondiente. Además, esta dualidad facilita
la comprensión de la estructura y el comportamiento
de una red al ofrecer una perspectiva alternativa
desde la cual examinarla. En resumen, la dualidad en
las redes de Petri es un concepto poderoso que
amplía las capacidades de análisis y modelado de
estas estructuras formales.

Imagen 8: Transición Activa e Inactiva de Arcos inhibidores

Propiedades de las redes de Petri

Acotamiento estructural: Una red de Petri se
considera estructuralmente acotada si está limitada
en su capacidad para contener tokens,
independientemente del marcado inicial. Esto
garantiza que la red no pueda crecer indefinidamente
y ayuda a controlar su complejidad. [3]

Imagen 7: Dualidad en las Redes de Petri

Arcos inhibidores: De transición activa: Estos arcos

están dirigidos desde un lugar hacia una transición y
tienen la capacidad de bloquear el disparo de esa
transición. Solo cuando no hay tokens en el lugar de
entrada conectado a través de un arco inhibidor de
transición activa, la transición está habilitada para
dispararse. En otras palabras, estos arcos actúan
como condiciones de exclusión para la activación de
una transición.

Arcos inhibidores de transición pasiva: A Imagen 9: Red de Petri no Acotada (Acotamiento)

diferencia de los arcos inhibidores de transición
activa, estos arcos están dirigidos desde una
transición hacia un lugar. Su función es bloquear la
colocación de tokens en un lugar de salida después
de que se dispara la transición. En otras palabras,
cuando una transición se dispara, los arcos
inhibidores de transición pasiva evitan que se
coloquen tokens en los lugares de salida
correspondientes, lo que puede ser útil para modelar
restricciones en la disponibilidad de recursos o la
ejecución de ciertas acciones después de que se haya
producido un evento.
Conservatividad: Una red de Petri es considerada
conservativa si conserva la cantidad total de tokens
en todas las transiciones. En otras palabras, la suma
de los tokens que ingresan y salen de una transición
es constante durante la ejecución de la red, lo que
asegura una distribución equilibrada de recursos.
Controlabilidad: Una red de Petri es
completamente controlable si es posible alcanzar
cualquier marcado desde cualquier otro marcado
mediante la ejecución de transiciones adecuadas.
Esto garantiza que la red sea capaz de alcanzar
cualquier estado deseado a partir de cualquier estado
inicial.
Repetitividad: Una red de Petri es considerada
repetitiva si existe al menos un marcado inicial y una
secuencia de disparos que permiten que alguna
transición ocurra infinitamente veces. Esto refleja la
capacidad de la red para modelar sistemas con ciclos
o comportamientos recurrentes. [8]

Vivacidad estructural: Una red de Petri es

estructuralmente viva si existe al menos un marcado
inicial que permite la activación de todas las
transiciones en algún momento durante la ejecución
de la red. Esto asegura que la red pueda alcanzar
estados donde todas las actividades puedan Imagen 12: Red de Petri de Atribución
ejecutarse.
Distribución: Ejecución de procesos paralelos o
concurrentes. [8]

Imagen 10: Red de Petri no viva

Imagen 13: Red de Petri de Distribución

De la imagen 13 podemos ver una RdP (Red de
Petri) no viva, la cual presenta esta característica
debido a p3, en el momento que se haga la selección
a t3 en vez de a t2 y si en p1 no hay un token, la red Conjunción: Sincronización de procesos en paralelo.
muere, ya que desde t3 no puede tocar todos los [8]
lugares, dando lugar a la muerte de la RdP

Imagen 11: Una red de Petri con una transición no deseable. La

transición t3 está muerta en este marcado.

Imagen 14: Red de Petri de Conjunción

Ejecución Secuencial: La transición t2 puede ser
disparada solamente si antes es disparado t1. [8]
 Imagen 15: Red de Petri con Ejecución secuencial
Sincronización: La transición t1 estará habilitada
para ser disparada si todos los nodos de entrada de la
transición t1 poseen al menos una marca en cada uno
de ellos. [8]
Imagen 16: Red de Petri con Sincronización
Concurrencia: Las transiciones t2 y t3 son
concurrentes. Con esta propiedad, la RdP es capaz de
modelar sistemas de control distribuido con múltiples
procesos ejecutándose concurrentemente. [8]
Cuando se trata de una red no acotada, con el objetivo
de producir un árbol finito, se introduce el símbolo ω
indicando que un lugar puede llegar a tener un
número arbitrariamente grande de marcas, generando
un grafo de cobertura. ¿Cómo se utiliza el árbol de
alcanzabilidad para el análisis? Veamos algunas de
las cuestiones planteadas en la sección anterior. En
cuanto a las cuestiones de seguridad y delimitación, si
una red de Petri está delimitada por k, entonces, por
definición, no hay más de k fichas en cualquier lugar.
Por tanto, los valores posibles para cada lugar se
extraen del conjunto {0, 1 ..... k} y sólo hay sólo(k +
1)**n posibles marcas alcanzables. Por lo tanto,el
espacio de estados alcanzable es finito.
En una red de Petri conservativa, el número de fichas
en la red, representado como "k", siempre debe
permanecer constante. Dado que solo hay un número
finito de formas de distribuir k fichas entre n lugares,
el conjunto de estados alcanzables debe ser finito.

Consideremos el árbol de alcanzabilidad. Si algún

nodo en el árbol contiene el símbolo "w", eso indica
que un componente puede crecer indefinidamente, lo
que significa que el conjunto de alcanzabilidad no es
finito y, por lo tanto, no es conservativo ni limitado.
[5]
Imagen 17: Red de Petri con Concurrencia

Por otro lado, si el símbolo "w" no aparece en el

Conflictos: Tanto la transición t1 como t2 están listas
árbol, entonces el conjunto de alcanzabilidad es finito
para ser disparadas, pero el disparo de alguna de ellas
y ambos, el conjunto de alcanzabilidad y el número
produce que la otra transición quede inhabilitada para
de fichas, están limitados. Esto implica que el
ser disparada. [8]
conjunto de alcanzabilidad está acotado y su límite se
puede determinar mediante inspección. [5]

Imagen 18: Red de Petri con Conflictos

- Métodos de Análisis de las redes de Petri

Árbol de cobertura: (The Coverability Tree) Las Imagen 19: Red de Petri de análisis
Técnicas Enumerativas consisten esencialmente en la
enumeración de todos los marcados mediante la
generación del grafo de alcanzabilidad para sistemas
acotados o del grafo de cobertura para sistemas no
acotados, estas técnicas son aplicables a todas las
clases de redes aunque en la práctica son restringidas
a redes relativamente pequeñas debido a que un árbol
de cobertura de gran tamaño imposibilita un cálculo
efectivo. Dada una RdP con el marcado M0 se
obtienen todos los nuevos marcados de acuerdo al
número de transacciones disparadas, dando como
resultado un árbol de representación de marcados,
donde los nodos representan los marcados generados
desde M0 y los arcos las transiciones disparadas.

Imagen 20: Árbol de Cobertura de la Imagen 23
Matriz de incidencias y ecuaciones de estados:
(Incidente Matrix and State Equation) El
comportamiento dinámico de los sistemas puede ser
representado por ecuaciones diferenciales o
ecuaciones algebraicas. Estás Técnicas Estructurales
tienen como objetivo obtener la máxima información
del modelo utilizando su estructura y marcado inicial,
investigando la relación entre el comportamiento de la
red y su estructura. La solución de estas ecuaciones es
un tanto limitada, debido a la naturaleza no
determinística de los modelos de RdP y por la
restricción respecto a la solución en la que no deben
encontrarse enteros negativos (Murata, 1989). [3]
Imagen 21: Matrices de Incidencia
Reglas de reducción simple: (Simple Reduction
Rules for Analysis) Las Técnicas de Transformación
tiene el objetivo de simplificar el tamaño de modelos
extensos mediante reglas de reducción que conservan
las propiedades que se quieren analizar. La aplicación
de los métodos de reducción están limitados por los
sistemas irreducibles, por lo que, el análisis debe ser
complementado por otras técnicas.
- Problemas de las Redes de Petri
1. El problema del productor y el
consumidor
Aquí también existe un recurso compartido pero no
para ser usado por los procesos sino como mecanismo
de comunicación entre ellos. Entre un proceso que
produce y otro que consume lo producido se puede
instalar un depósito intermedio (buffer) con el fin de
"amortiguar" las diferencias ocasionales de velocidad.
Disponiendo un sitio para indicar la condición
"depósito con producto", el proceso productor
deposita un token cada vez que tenga un nuevo
producto y el proceso consumidor comenzará su tarea
cada vez que estando listo para ello, haya por lo
menos un token en el depósito (figura de abajo).
La limitación de este esquema es que no es capaz de
representar un buffer de capacidad finita, pudiendo
crecer el número de productos en el depósito sin
límite en el caso de detención del proceso
consumidor. En la figura siguiente se muestra la
solución cuando se quiere acotar la cantidad de
productos intermedios. Se muestra también un
sistema compuesto por un productor y un consumidor
operando en forma asincrónica, comunicándose
mediante un buffer con capacidad para tres productos.
El sitio "buffers llenos" representa la existencia de
productos disponibles y el sitio "buffers vacíos" la
cantidad de lugares disponibles en el depósito.
Siempre se da que la suma de las marcas de ambos
sitios, dan la capacidad total del depósito. [8]
Imagen 22: Imagen Productor - Consumidor
Como se puede ver en la imagen 26, el problema del
consumidor y el productor en las redes de Petri es una
representación gráfica y matemática de un escenario
común en la concurrencia de sistemas, como la
administración de recursos compartidos. En este
problema, se utilizan dos tipos de elementos: los
productores, que generan datos o elementos para un
búfer compartido, y los consumidores, que toman
elementos del búfer y los utilizan. La red de Petri
muestra cómo los productores y consumidores
interactúan de manera concurrente y cómo se
gestionan los recursos compartidos. Cuando hay más
productores que consumidores o viceversa, pueden
surgir problemas de sincronización y bloqueo, lo que
hace que sea esencial diseñar estrategias adecuadas
para garantizar una operación sin problemas.
2. El problema de la lectura y la escritura
Esta situación se presenta en sistemas en el que un
cierto número de tareas pueden realizar lecturas y/o
escrituras sobre un área de memoria compartida en
forma simultánea. A fin de asegurar la consistencia de
la información, la ejecución de una escritura es
excluyente, en tanto que se admitirá la ejecución
concurrente de dos o más lecturas. En la figura se
muestra una solución cuando el número de lectores es
conocido e igual a "n" (observar la utilización de un
semáforo con marca "m" y dos arcos también con
capacidad igual a "m"). [8]
Imagen 23: Problema Lectura y Escritura
- Taxonomía de las Redes de Petri
Las bases iniciales de Carl A. Petri dieron origen a las
Redes de Petri clásicas, que describen la estructura
lógica de sistemas pero carecían de la capacidad para
definir datos, usar variables o funciones, establecer
jerarquías de módulos, considerar explícitamente el
tiempo, o manipular la red de manera flexible.
Además, después de cada disparo, todos los tokens en
los lugares de entrada tenían que eliminarse. Estas
limitaciones condujeron al surgimiento de propuestas
de mejora y diferentes extensiones de las Redes de
Petri. [8]
Las extensiones aumentaron el poder de modelado,
pero a menudo redujeron la capacidad de toma de
decisiones. Algunas extensiones incluyeron Redes de
Petri Generalizadas, Redes de Petri con Arcos
Inhibidores, Redes de Petri de capacidad finita y
Redes de Petri Etiquetadas, entre otras.
Para abordar sistemas complejos y extensos, se
desarrollaron las Redes de Petri de Alto Nivel, que
combinan las características de las Redes de Petri
clásicas con capacidades adicionales, como la
capacidad de manejar colores, tiempo y jerarquía.
En resumen, las Redes de Petri clásicas
proporcionaron una base importante, pero se vieron
limitadas en su capacidad de modelar sistemas
complejos, lo que condujo al desarrollo de
extensiones y variantes, como las Redes de Petri de
Alto Nivel, para abordar desafíos más complejos en el
modelado de sistemas.
Redes de Petri coloreadas: Las Redes de Petri
Coloreadas (Coloured Petri Nets - CPN) fueron
introducidas por Kurt Jensen para facilitar el
modelado avanzado de sistemas complejos. Permiten
la creación de modelos compactos para sistemas con
múltiples subsistemas que tienen estructuras y
comportamientos similares pero trabajan en paralelo.
Las CPN ofrecen numerosas ventajas, según Jensen:
proporcionan una representación gráfica, una
semántica bien definida, un alto poder descriptivo de
estados y acciones, capacidad para descripciones
jerárquicas, integración de control y manipulación de
datos, extensiones para el manejo del tiempo,
estabilidad en la representación, simulaciones
interactivas, y una amplia gama de métodos formales
de análisis.
En las CPN, se utilizan colores para representar
diferentes tipos de tokens, que pueden considerarse
como datos, variables o valores. Cada lugar en la red
tiene un dominio de color asociado (cd(p)), y los
arcos también tienen información relacionada con
colores. Las transiciones se activan según las
combinaciones de colores en los lugares de entrada, y
el número y valor de los tokens producidos dependen
de los tokens consumidos. Las transiciones pueden
etiquetarse según los objetivos de diseño, utilizando
texto, pseudocódigo, subrutinas de programación o
especificaciones formales. [8]
Imagen 24: Red de Petri coloreada
Redes de Petri con Tiempo: La incorporación del
concepto de tiempo a las Redes de Petri fue una
evolución natural debido a que las RdP clásicas no
tenían en cuenta este factor y se centraban únicamente
en el análisis de las propiedades lógicas de sistemas.
Las primeras contribuciones introdujeron el tiempo de
manera determinista y luego de forma estocástica,
dando origen a las Redes de Petri Estocásticas, donde
cada transición se asocia con una variable aleatoria
exponencial que representa el retraso desde la
activación hasta el disparo de la transición.
Existen diversas formas de relacionar el tiempo con
las RdP. Por ejemplo, se puede considerar que el
tiempo en los tokens indica cuándo están disponibles
para su consumo, el tiempo asociado a los arcos
representa el retraso (puede ser fijo o aleatorio,
incluso cero), y la suma de ambos define el tiempo
asignado a los tokens generados por la transición para
los lugares de salida. Los tokens se consumen
siguiendo la estructura FIFO (primero en entrar,
primero en salir), y cuando varias transiciones tienen
el mismo tiempo de activación, se realiza una
selección no determinística.
Otra perspectiva se basa en el tiempo utilizado desde
que los tokens en el lugar de entrada se reservan hasta
que pueden ser consumidos por la transición, y esta
acción se describe como una operación atómica.
Es importante destacar que no existe una única
perspectiva para incorporar el tiempo en las RdP, ya
que puede estar asociado a lugares (TPPN),
transiciones (TTPN), tokens o arcos. La introducción
del tiempo se utiliza para modelar la interacción entre
diferentes actividades, considerando el tiempo desde
su inicio hasta su finalización. [8]
Imagen 25: Red de Petri con Tiempo o temporizada
Workflow net: Según Workflow Management
Coalition (WfMC -
http://www.wfmc.org/index.html), Workflow se
define como la automatización de un proceso de
negocio, completa o parcialmente, en dónde
documentos, información o tareas son transferidas de
un participante a otro para su procesamiento, de
acuerdo a un conjunto de reglas establecidas. En otras
palabras, Workflow es la automatización y
administración de procesos de negocios
(principalmente relacionados a los procesos
operacionales de contexto administrativo) descritos
desde el punto de vista de los SI. Los Wf pueden ser
vistos como la secuencia e interrelación de materiales,
información, actividades y comunicaciones dentro de
un proceso, que permite hacer llegar a la persona
indicada, la actividad y los datos necesarios en el
momento indicado dentro de determinado flujo del
proceso. [8]
Workflow Net (WF-net) es una extensión de las RdP
enfocadas específicamente a los procesos de negocio,
desarrollado por W.M.P. van der Aalst (Aalst y Hee,
2002; Graaf y Aalst, 2003) y basada en los
formalismos de RdP de alto nivel, es decir, con color,
tiempo y jerarquía. Las WF-nets se caracterizan por
su estructura regular que especifica el ciclo de vida de
un proceso, en la que debe haber un inicio y un fin,
evitando los lugares y transiciones que pueden quedar
suspendidos, garantizando que las tareas que no
contribuyen al procesamiento no sean consideradas en
el modelo. Gráficamente, en este tipo de RdP se
definen los bloques de control AND-split, AND-join,
OR-split y OR-join que son usados para modelar
rutinas secuenciales, condicionales, paralelas e
iterativas, reduciendo la notación en gráficos
compactos (ver Fig. 30). También se definen cuatro
tipos de disparo (automático, recurso, mensaje y
tiempo) que representan los diferentes tipos de
dependencia entre una tarea del Workflow y su
entorno operativo (ver Fig. 31). [8]
Imagen 26: Bloques de control WFnet

Imagen 27: Tipos de disparo WFnet
3. CONCLUSIONES
En este informe, hemos explorado a fondo los
sistemas concurrentes y las redes de Petri como una
poderosa herramienta para modelar y analizar la
concurrencia en sistemas informáticos y procesos
complejos. Las redes de Petri, compuestas por
lugares, transiciones, arcos y tokens, ofrecen una
representación visual y formal que facilita la
comprensión y el análisis de sistemas concurrentes.
Las reglas de disparo en una red de Petri son
esenciales para determinar cuándo una transición
puede activarse, lo que proporciona una base sólida
para el estudio de la dinámica del sistema y la
detección de conflictos potenciales. Esto es crucial
para garantizar un funcionamiento eficiente y sin
bloqueos en sistemas concurrentes.
Hemos profundizado en las propiedades estructurales
y de comportamiento de las redes de Petri, destacando
la conservación de tokens, la alcanzabilidad y la
capacidad de modelar simultaneidad, lo que permite
un análisis detallado de la ejecución de procesos
concurrentes. Además, los métodos de análisis, como
los árboles y las matrices de incidencia, amplían las
herramientas disponibles para evaluar y diseñar
sistemas basados en redes de Petri.
La versatilidad de las redes de Petri se demuestra en
su capacidad para abordar problemas comunes de
sistemas concurrentes, como el problema del
productor y consumidor, el problema de lectura y
escritura, y la gestión de flujos de trabajo. Además,
las redes de Petri coloreadas y temporales permiten
representar sistemas más complejos con múltiples
estados y tiempos, lo que las convierte en una
elección valiosa para aplicaciones del mundo real.
En resumen, las redes de Petri se erigen como una
herramienta fundamental para el análisis y diseño de
sistemas concurrentes, proporcionando una base
sólida para comprender y gestionar eficazmente la
concurrencia en diversas aplicaciones, desde sistemas
informáticos hasta flujos de trabajo empresariales. Su
versatilidad y precisión hacen de las redes de Petri
una elección inestimable en la modelización de
procesos complejos.
4. REFERENCIAS
[1] Peterson J, Petri Nets*. [Internet]. 1977.
Recuperado de:
https://dl.acm.org/doi/pdf/10.1145/356698.356702
[2] Suárez A, Introducción a la programación
Concurrente y las arquitecturas Paralelas. [Internet].
1996. Recuperado de:
https://accedacris.ulpgc.es/bitstream/10553/1293/1/92
.pdf
[3] Peterson J, PETRI NET THEORY AND THE
MODELING OF SYSTEMS. [Internet]. 1981.
Recuperado de:
https://accedacris.ulpgc.es/bitstream/10553/1293/1/92
.pdf
[4] Castellano C, Aspects of modeling systems using
Petri Nets. [Internet]. 2006. Recuperado de:
https://www.redalyc.org/pdf/5075/507550778002.pdf
[5] Diesel J, Reisig W. [Internet]. Place/Transition
Petri Nets. [Internet]. 1997. Recuperado de:
https://www.cmi.ac.in/~madhavan/courses/acts2010/d
esel-reisig-ptnets.pdf
[6] Murillo L. Redes de Petri: Modelado e
implementación de algoritmos para autómatas
programables. [Internet]. 2008. Recuperado de:
https://revistas.tec.ac.cr/index.php/tec_marcha/article/
view/231
[7] T. MURATA, “Petri Nets: Properties, Analysis
and Applications”, IEEE, vol. 77, n.º 4, 1989.
Recuperado de:
http://people.disim.univaq.it/adimarco/teaching/bioinf
o15/paper.pdf
[8] JIMDO. Redes de Petri. Matemática, Informática,
Educación. [Internet]. Disponible en:
https://jcastrom.jimdofree.com/matematica/matem
%C3%A1tica-discreta/redes-de-petri/. Accedido el:
Sep. 2023.
[9] Juan Carlos Vergara Schmalbach. Petri Nets - An
Introduction to Petri Nets - Video 1. Social Learning
Services. [Internet]. Disponible en:
https://youtu.be/pgFfMc6J3YU?
si=hlMers6zATsAFAtz . Publicado el: 21 de abril de
2014. Accedido el: Sep 2023.