Las Redes de Petri

Universidad Tecnológica de Honduras (UTH)

Maestría de la Ingeniería en Computación
Teoría de la Computación
TCG-8401
 Carlos Roberto Alvarez Izaguirre
Miembros del 202510060140.
Grupo #1 Francisco José Garcia Matamoros
202510060529.
Tony Dester Escobar Sánchez
202430130090.
 • Las Redes de Petri (Petri Nets)
son un modelo matemático
gráfico utilizado para describir,
analizar y simular sistemas
discretos, concurrentes y
¿Qué son las distribuidos. Son ampliamente
Redes de Petri? empleadas en informática,
ingeniería de sistemas,
automatización industrial, y
análisis de procesos
empresariales.
 • Fueron introducidas por Carl Adam Petri
¿Quién en 1962 como una herramienta para
invento las modelar la dinámica de sistemas de
eventos discretos. Su fuerza radica en la
Redes de capacidad de representar sincronización,
Petri? concurrencia, paralelismo, conflicto y
causalidad.
 Aplicaciones
principales:

¿Dónde son
útiles las
Redes de
Petri?
Ventajas de las Redes de Petri

Representación gráfica clara Capacidad para modelar Formalismo matemático que

del comportamiento del concurrencia, sincronización permite análisis riguroso y
sistema. y conflicto. verificación automática.

Aplicación efectiva en
Identificación de propiedades
múltiples áreas: informática,
importantes como bloqueo,
automatización, procesos de
vivacidad y alcanzabilidad.
negocio.
Limitaciones

Escalabilidad limitada en redes grandes: se vuelve difícil de leer y mantener.

Complejidad computacional en el análisis formal (p. ej. alcanzabilidad es NP-completo).

Ausencia de expresividad para decisiones condicionales sin extensiones (como prioridades

o inhibidores).

Requiere conocimientos técnicos para su correcta interpretación y modelado.

Las versiones básicas no manejan tiempo, datos, ni jerarquía sin ampliaciones formales.
 • Alcanzabilidad: Determina si es posible
llegar a un marcado específico desde el
inicial.
• Vivacidad: Toda transición puede llegar a
dispararse al menos una vez (evita bloqueos).
• Bloqueo (Deadlock): Situación en la que
ninguna transición está habilitada (el sistema
Propiedades se detiene).
• Invariantes: Propiedades estructurales que
Analizables permanecen constantes, como la suma de
tokens.
• Reversibilidad: Posibilidad de volver al
estado inicial desde cualquier estado
alcanzado.
 Clasificación:

• Red de Petri Básica: Solo tokens enteros (sin

colores ni pesos).
Tipos de • Red de Petri Coloreada: Tokens con
Redes de Petri información (ej: tipos de recursos).

• Red de Petri Temporizada: Incluye tiempos en

transiciones.

• Red de Petri Jerárquica: Permite sub-redes

para mayor complejidad.
 Aplicaciones Reales

Sistemas operativos: Protocolos de Automatización Gestión de procesos de Robótica y control: Bases de datos:
Modelado de comunicación: industrial: negocio (BPM): Coordinación de tareas Evaluación de integridad
concurrencia, procesos y Verificación de Control y análisis de Análisis de flujos de paralelas en sistemas en transacciones
sincronización. transmisión, recepción y procesos productivos y trabajo complejos. autónomos. concurrentes.
sincronización de sistemas embebidos.
mensajes.
 Componente Símbolo Nombre Descripción
Representa una
Lugares condición o estado
(círculo)
(Places) del sistema. Puede
contener tokens.
Representa un
Transiciones
Componentes (Transitions)
(barra) evento o acción que
cambia el estado.
Fundamentales
Conecta lugares con
transiciones y
Arcos (Arcs) (flecha)
viceversa. Indica
dirección del flujo.
Marca la presencia
Marcas de una condición;
(punto)
(Tokens) permite el disparo de
transiciones.
Ejemplo simple: T3
Un Semáforo
 ¿Cómo Funcionan?

Las transiciones se
disparan si sus • Consumen tokens
• Producen tokens en
lugares de entrada de los lugares de
los lugares de salida.
tienen suficientes entrada.
tokens. Al dispararse:
Reglas de 1. Disparo de transiciones:
Funcionamiento Una transición está
habilitada si todos sus
lugares de entrada tienen
al menos un token.

2. Ejecución: Al
3. Evolución del sistema:
dispararse, la transición
El sistema evoluciona con
consume tokens de sus
el disparo secuencial o
lugares de entrada y
concurrente de las
coloca tokens en sus
transiciones habilitadas.
lugares de salida.
Regla de disparo

Una transición solo se activa si todos sus lugares de entrada tienen al

menos un token.
Ejemplo de disparo

Si hay un token en Lugar A, la Transición 1 puede dispararse.

 Ejemplo de disparo

Al dispararse, el token de A se consume y se coloca uno

en B.
Notación Formal

Una Red de Petri se define como una 4-tupla:

N = (P, T, F, M0)

Donde:
• P: Conjunto finito de lugares.
• T: Conjunto finito de transiciones.
• F: Conjunto finito de flujo (arcos) F ⊆ (P × T) ∪ (T × P).
• M0: Marcado inicial, distribución de tokens en los lugares.
Ejemplo Práctico:
Sistema de Impresión

• Si hay un token en "Documento

Listo" y otro en "Impresora Libre", la
transición "Imprimir" se dispara.
Ejemplo Práctico:
Sistema de Impresión

• Los tokens se consumen y se

genera uno en "Documento
Impreso".
Estructuras
básicas
Selección: Selecciona el
proceso a ejecutar
Estructuras
básicas
Atribución: Ejecución independiente de
un proceso por dos procesos distintos
Estructuras
básicas
Distribución: Ejecución de
procesos paralelos o
concurrentes
Estructuras
básicas
Conjunción: Sincronización
de procesos en paralelo
Estructuras básicas
Ejecución Secuencial: La transición t2 puede
ser disparada solamente si antes es disparado
t1
 Estructuras básicas

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
 Estructuras básicas

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.
 Estructuras básicas

Conflictos:
Tanto la transición t1 como t2 están
listas para ser disparadas, pero el
disparo de alguna de ellas produce
que la otra transición quede
inhabilitada para ser disparada.
 Herramientas para Redes de Petri

WoPeD: PIPE (Platform CPN Tools: TINA (TIme petri Net Renew (REsource NEt Petri Nets:
WoPeD: PIPE (Platform Independent Petri net Editor): CPN Tools: TINA (TIme petri Net Analyzer): Renew (REsource NEt Workshop): Petri Nets:

Independent Petri net Analyzer): Workshop): Base de datos completa y

PIPE (Platform Independent Petri net Editor): TINA (TIme petri Net Analyzer): Renew (REsource NEt Workshop):

Editor gráfico y simulador Diseñado para redes de

Editor): actualizada de herramientas
PIPE (Platform Independent Petri net Editor):

gratuito enfocado en Petri coloreadas; ofrece Orientado al análisis Enfocado en simulación

procesos de negocio. Permite modelado, animación y depuración. formal de redes de Petri y ejecución de modelos utilizadas actualmente para
simulación y análisis temporizadas. con extensiones de Java. redes de Petri.
matemático.
Conclusión
Las Redes de Petri son una herramienta poderosa para modelar sistemas
donde hay concurrencia, sincronización y recursos compartidos.
Con práctica, puedes usarlas para:

Diseñar algoritmos.

Optimizar procesos industriales.

Evitar bloqueos en sistemas distribuidos.

Muchas Gracias.…!

“pionero en la ciencia de la computación, una de

sus aportaciones son las Redes de Petri,
herramienta de modelación gráfica y matemática
que puede aplicarse en el estudio de distintos
tipos de sistemas.”. Carl Adam Petri.
Anexos:
• Redes de Petri.
Videos:
• Redes de Petri: definición, elementos, estructuras básicas y
ejemplo práctico.
• Redes de Petri for beginners (Explicado Facil).
• Redes De Petri – Estacionamiento.
• Redes de Petri.
• Curso completo de Redes de Petri.
• Introducción a las Redes de Petri.
• Petri Nets - An Introduction to Petri Nets.
• Curso Redes Petri.
Simulador:
• Petri Net Simulator Web.
• Platform Independent Petri net Editor 2.