Formalismo gráfico y matemático para modelar sistemas discretos concurrentes, asincrónicos y distribuidos mediante lugares, transiciones, arcos dirigidos y fichas (tokens); el comportamiento se define por la distribución de tokens (marcado) y las reglas de disparo de transiciones que mueven tokens entre lugares.

Principio

La dinámica del sistema sigue el ‘juego de tokens’ de la red de Petri: una transición está habilitada cuando sus lugares de entrada contienen los tokens requeridos; el disparo consume tokens de las entradas y produce tokens en las salidas según las multiplicidades de arcos; propiedades estructurales (alcanzabilidad, acotamiento, vivacidad, interbloqueo) derivan de la topología de la red y el marcado inicial.

Demostración

Escenario ilustrativo — Productor‑consumidor con buffer finito: Situación — productor y consumidor comparten un buffer de capacidad C. Reconocimiento — lugares: ProductorInactivo, EspaciosLibres (C tokens iniciales representan huecos libres), ItemsEnBuffer; transiciones: Producir (requiere espacio libre) y Consumir (requiere item). Acción — disparar Producir si hay token en EspaciosLibres (decrementar huecos libres, incrementar ItemsEnBuffer), disparar Consumir si hay token en ItemsEnBuffer. Consecuencia — el análisis de alcanzabilidad o la simulación muestran si es posible un interbloqueo, riesgo de saturación del buffer y si ambos procesos permanecen vivos según las tasas dadas.

Aplicación incorrecta

Usar redes de Petri ordinarias (sin temporización ni coloreado) para representar comportamiento dependiente de datos, prioridades o tiempo sin las extensiones adecuadas, o tratar tokens como portadores de identidad cuando el modelo asume tokens indistinguibles; el error es confundir la semántica de la red básica con la de formalismos más ricos que requieren extensiones (colored, timed, stochastic).

Consecuencia

Modelar con Petri nets correctamente permite verificar formalmente propiedades concurrentes (detección de interbloqueo, exclusión mutua), facilita el razonamiento composicional y guía cambios de diseño; su mal uso puede dar garantías erróneas sobre vivacidad o seguridad cuando el tiempo, los datos o la probabilidad son relevantes y se omiten.

Inversión

Cuando el tiempo, las duraciones estocásticas, las prioridades o los atributos de tokens son críticos, las redes de Petri clásicas deben ampliarse (redes temporizadas, estocásticas, coloreadas, con prioridades); esas extensiones modifican los métodos de análisis y pueden reintroducir explosión del espacio de estados o requerir aproximaciones.

Límite

Dentro claramente — modelado de flujo de control, asignación de recursos, sincronización y concurrencia en celdas de fabricación, protocolos o especificaciones de flujo de trabajo. Caso límite — sistemas donde importa la identidad de tokens (usar Redes de Petri Coloreadas). Fuera claramente — sistemas de control continuos descritos por ecuaciones diferenciales sin semántica de tokens discretos.

Tensión semántica

Simplicidad gráfica y posibilidad de análisis formal de redes de Petri básicas frente a la expresividad necesaria para modelar tiempo, datos y probabilidad; los formalismos más ricos aumentan fidelidad pero complican el análisis y la escalabilidad.

Síntesis

Las redes de Petri son una representación fundamental de concurrencia y causalidad; emplee la red básica para analizar la estructura concurrente y añada extensiones (temporizadas, estocásticas, coloreadas) cuando datos, tiempo o probabilidades afecten de forma material la corrección o el rendimiento.