⚡ electrical engineering

Circulatory Load-sharing Redundancy for Resource Single Point of Failure in Automated Manufacturing Systems Using Petri Nets

Este artículo propone una técnica de redundancia de distribución de carga circular basada en redes de Petri que mejora la resiliencia de los sistemas de fabricación automatizados ante fallos de un solo recurso mediante la redistribución dinámica de tareas entre recursos vecinos en un círculo, logrando así una alta eficiencia de recuperación sin requerir recursos de respaldo adicionales ni pérdida operativa.

Autores originales: Ebrahim A. Alzalab, Adeeb A. Ahmed, Haithm M. Al-Gunid, Sadiq Ghalib

Publicado 2026-08-31

📖 6 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Ebrahim A. Alzalab, Adeeb A. Ahmed, Haithm M. Al-Gunid, Sadiq Ghalib

Artículo original bajo licencia CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Las fábricas modernas dependen de sistemas automatizados que mueven piezas, ensamblan componentes y empaquetan productos con una velocidad increíble. Estas máquinas trabajan en un ritmo estrechamente coordinado, donde un robot entrega una pieza a otro, que luego la pasa a una máquina para su procesamiento. Toda la operación depende de que cada uno de los componentes haga su trabajo. Si un robot se avería o un sensor falla, el flujo puede detenerse por completo. Esto no es solo un inconveniente menor; una línea de producción detenida significa pérdida de tiempo, desperdicio de materiales y daños financieros significativos. Durante décadas, los ingenieros han intentado resolver esto añadiendo máquinas de respaldo. Si el robot principal falla, uno de repuesto toma el relevo. Sin embargo, comprar e instalar hardware adicional para cada una de las máquinas es costoso, y gestionar el cambio entre ellas puede crear sus propios problemas complejos, causando a veces que el sistema se congele por completo.

Un equipo de investigadores ha propuesto una forma diferente de manejar estas averías, que evita la necesidad de piezas de repuesto adicionales. En lugar de añadir nuevas máquinas, sugieren disponer los robots poco fiables existentes en un círculo. En esta configuración, cada robot es responsable de su propio trabajo, pero también está listo para asumir el trabajo de su vecino si ese vecino deja de funcionar. Si el primer robot falla, el segundo toma el relevo. Si el segundo falla, el tercero asume la tarea, y así sucesivamente hasta que el círculo se cierra de nuevo en el primero. Este método, llamado redundancia de carga compartida circular, permite que el sistema siga funcionando incluso cuando una pieza se rompe, sin requerir hardware adicional ni capas de control complicadas. Los investigadores probaron esta idea utilizando un modelo informático de una planta de producción para ver si realmente podía mantener en movimiento la línea de producción.

El estudio se centra en un tipo específico de sistema automatizado conocido como celda de fabricación, donde múltiples robots y máquinas comparten recursos para procesar piezas. Los investigadores utilizaron una herramienta matemática llamada red de Petri para mapear exactamente cómo se comportan estos sistemas. Imagine una red de Petri como un diagrama de flujo detallado que rastrea el movimiento de "tokens" (fichas), que representan las piezas que se están fabricando, a través de las diversas etapas de producción. Esta herramienta permite a los ingenieros predecir dónde podría estancarse el sistema, un estado conocido como interbloqueo (deadlock), donde ninguna pieza puede avanzar porque cada máquina está esperando a otra. En un modelo de fábrica estándar sin ningún plan de respaldo, si un solo robot crítico falla, todo el sistema se detiene. Los tokens que representan las piezas se quedan atrapados y la producción se detiene por completo.

Para probar su nueva idea circular, los investigadores construyeron un modelo digital de una fábrica con cuatro robots y dos máquinas. Dispusieron los cuatro robots en un bucle, donde cada uno actúa como respaldo del anterior. Luego simularon un escenario en el que uno de los robots dejó de funcionar repentinamente. En el modelo tradicional sin redundancia, la falla causó que el sistema se detuviera inmediatamente, resultando en una recuperación de cero por ciento del proceso de producción. Sin embargo, cuando aplicaron la disposición circular, el sistema reaccionó de manera diferente. Tan pronto como el primer robot falló, el modelo trasladó automáticamente las tareas destinadas a ese robot averiado al siguiente robot en el círculo. El segundo robot recogió el trabajo extra y la línea de producción continuó moviéndose.

Los resultados de la simulación fueron sorprendentes. Cuando los investigadores introdujeron una falla en medio de una ejecución, el sistema con el plan de respaldo circular fue capaz de recuperar el 90.5 por ciento de su producción normal. Esto significa que, incluso con un robot fuera de servicio, la fábrica siguió produciendo la gran mayoría de sus piezas. Los investigadores señalaron que hubo un pequeño costo para esta resiliencia. Durante la operación normal, cuando no hay robots averiados, el sistema con el plan circular produce ligeramente menos piezas por hora que un sistema estándar sin funciones de redundancia. La producción cayó de un promedio de 9.3 piezas a 7.7 piezas. Esta disminución se debe a la ligera sobrecarga de gestionar la lógica de respaldo, pero los investigadores argumentan que perder aproximadamente un 17 por ciento de la velocidad normal es un intercambio justo por la capacidad de seguir funcionando al 90 por ciento de la capacidad cuando ocurre una falla.

El estudio también analizó la complejidad del sistema. El método circular añadió algunos pasos extra al modelo informático, aumentando el número de transiciones que el sistema tiene que rastrear, pero lo hizo sin necesidad de nuevas máquinas físicas. Los investigadores descubrieron que el sistema permaneció estable y no se quedó estancado en interbloqueos, incluso cuando un robot fallaba. Demostraron matemáticamente que, mientras solo falle un robot a la vez, el sistema siempre será capaz de encontrar una forma de mover las piezas hacia adelante. Esto es una mejora significativa respecto a los métodos anteriores que dependían de máquinas de respaldo dedicadas, que son costosas, o sistemas jerárquicos, que pueden ser difíciles de analizar y propensos a sus propios errores.

Los investigadores advierten cuidadosamente sobre los límites de sus hallazgos. Sus simulaciones asumieron que solo un robot fallaría en cualquier momento dado. No probaron qué sucedería si dos o más robots fallaran simultáneamente, ya que eso requeriría una disposición más compleja. También señalaron que el modelo actual utiliza elecciones aleatorias para ciertas acciones, y un enfoque más determinante podría mejorar la velocidad aún más. A pesar de estas limitaciones, el trabajo demuestra un camino claro hacia la creación de fábricas automatizadas más resilientes. Simplemente repensando cómo se conectan las máquinas existentes y cómo se apoyan entre sí, es posible construir sistemas que puedan soportar averías sin el pesado gasto de comprar equipos adicionales. El estudio concluye que este enfoque circular ofrece una forma práctica y eficiente de mantener las líneas de fabricación en movimiento ante las inevitables fallas mecánicas.

Resumen Técnico: Redundancia de Carga Circular para el Punto Único de Falla de Recursos en Sistemas de Manufactura Automatizados mediante Redes de Petri

Planteamiento del Problema
Los Sistemas de Manufactura Automatizados (AMS, por sus siglas en inglés) son altamente susceptibles a las fallas de recursos (por ejemplo, robots, máquinas, sensores), lo que puede detener líneas de producción enteras, causando pérdidas financieras significativas y tiempos de inactividad. Aunque las redes de Petri se han utilizado extensamente para modelar y controlar Sistemas de Eventos Discretos (DES) para la prevención de bloqueos en entornos confiables, la presencia de recursos no confiables complica estas estrategias de control. Los enfoques de tolerancia a fallas existentes, como los Recursos Redundantes de Distribución de Carga (LSRR), dependen típicamente de recursos de respaldo dedicados o mecanismos de conmutación jerárquicos. Estos métodos incurren en altos costos de hardware, aumentan la complejidad del diseño lógico e introducen problemas como la inversión de prioridad y la sobrecarga de control. Además, extender los esquemas de respaldo dedicado a sistemas con múltiples recursos no confiables requiere una relación de respaldo de uno a uno, lo cual es económicamente prohibitivo. El problema específico abordado es cómo lograr la tolerancia a fallas para múltiples recursos no confiables en un AMS sin añadir hardware de respaldo dedicado o estructuras jerárquicas complejas, manteniendo al mismo tiempo la vivacidad y la acotación del sistema.

Metodología
El artículo propone una técnica de Recuperación de Redundancia de Carga Circular (C-LSRR). La metodología central involucra los siguientes componentes:

Arreglo Circular: Los recursos no confiables ( $R = \{r_1, r_2, ..., r_n\}$ ) se disponen en una topología circular ( $r_1 \to r_2 \to ... \to r_n \to r_1$ ). En esta configuración, cada recurso $r_i$ es respaldado por su sucesor inmediato $r_{i+1}$ (siendo $r_1$ el respaldo de $r_n$ ).
Modelado de Redes de Petri (US3PR a C-LSRR): El sistema se modela utilizando una extensión de la clase S3PR (Sistema de Procesos Secuenciales Simples con Recursos), conocida como US3PR (S3PR No Confiable). El modelo C-LSRR propuesto introduce una subred de conmutación circular sin arcos inhibidores.
- Subredes de Falla/Reparación: Para cada recurso no confiable $r_i$ , se añade una subred local de falla/reparación que consiste en un lugar de falla ( $fail_i$ ), una transición de falla ( $t_{fail, r_i}$ ) y una transición de reparación ( $t_{rep, r_i}$ ).
- Duplicación de Transiciones: Para cada transición $t$ en la red original que consume el recurso $r_i$ , se crea una transición duplicada $t^{(i)}$ . Esta transición duplicada consume el recurso de respaldo $r_{i+1}$ y requiere un token en $fail_i$ para dispararse.
- Lógica de Operación: Bajo condiciones normales, los tokens residen en los lugares de los recursos, permitiendo las transiciones originales. Tras una falla, un token se mueve a $fail_i$ , deshabilitando las transiciones originales y habilitando las transiciones duplicadas, las cuales redirigen la carga de trabajo al siguiente recurso en el círculo. Tras una reparación, el token regresa al lugar del recurso, restaurando la operación normal.
Control Supervisado (TGAL): Para asegurar que el sistema permanezca vivo (libre de bloqueos) y acotado tanto en el modo normal como en el degradado (falla única de recurso), se emplea el algoritmo Think Globally, Act Locally (TGAL).
- Se sintetiza un supervisor para el modo nominal (todos los recursos funcionando).
- Se sintetizan supervisores separados para cada modo degradado (falla de un solo recurso), donde el recurso fallido y su respaldo se tratan efectivamente como una capacidad agrupada.
- Estos supervisores se consolidan en un único controlador mediante la eliminación de monitores redundantes (invariantes de lugar).

Contribuciones Clave
El artículo detalla cinco contribcciones principales:

Mecanismo de Redundancia Circular: Un esquema de redundancia novedoso para manejar múltiples recursos no confiables que no requiere hardware de respaldo adicional ni capas jerárquicas, basándose en el respaldo mutuo entre los recursos existentes.
Modelo de Red de Petri Sin Inhibidores: Un modelo formal de red de Petri que utiliza una subred de conmutación circular que gestiona las transiciones de falla y reparación sin el uso de arcos inhibidores, ahorrando así recursos computacionales.
Verificación Formal: Esbozos de pruebas y definiciones que establecen que la red C-LSRR resultante preserva la vivacidad y la acotación en caso de una falla de un solo recurso.
Síntesis de Controlador: La aplicación y adaptación del algoritmo TGAL a la red C-LSRR para generar supervisores que garantizan la vivacidad tanto en estados normales como degradados.
Verificación Experimental: Resultados de simulación que demuestran la eficacia del enfoque en un modelo de referencia S4R.

Resultados Experimentales
La metodología fue validada mediante simulaciones en un modelo S4R que contiene 23 lugares, 18 transiciones y 4 robots no confiables ( $R_1$ a $R_4$ ) con 50 piezas iniciales.

Desempeño Base: Un sistema S4R no redundante logró un rendimiento promedio de 9.3 piezas. Sin embargo, tras la falla del robot $R_1$ , el sistema se detuvo por completo (0% de recuperación).
Desempeño C-LSRR (Normal): El sistema C-LSRR sin fallas logró un rendimiento promedio de 7.7 piezas, lo que representa una disminución del 17% respecto al desempeño base debido a la sobrecarga del mecanismo de redundancia.
Desempeño C-LSRR (Falla): Cuando $R_1$ falló en el paso 7,500, el sistema C-LSRR continuó operando con un rendimiento promedio de 7.0 piezas. Esto resultó en una tasa de recuperación del 90.5% en relación con el estado degradado del sistema no redundante.
Sobrecarga: El modelo C-LSRR incrementó el número de lugares en un 17% (de 23 a 27) y las transiciones en un 111% (de 18 a 38). El tiempo de simulación aumentó un 40% (de 3.2s a 4.5s), lo cual los autores consideran razonable para su uso práctico.
Comparación: La tasa de recuperación del 90.5% supera a las soluciones no redundantes (0%) y es competitiva con las soluciones de LSRR dedicadas (citadas como 77.8% en la literatura previa), sin los costos de hardware asociados.

Significancia y Reivindicaciones
El artículo afirma que C-LSRR ofrece una solución rentable y estructuralmente simple para la tolerancia a fallas en AMS. Al disponer los recursos en un círculo, el sistema logra una alta resiliencia (90.5% de recuperación) contra fallas de punto único sin necesidad de hardware de respaldo dedicado o estructuras de control jerárquicas complejas. Los autores enfatizan que la ligera reducción en el rendimiento normal (de 9.3 a 7.7 piezas) es un compromiso justificable por la significativa ganancia en la disponibilidad del sistema. El enfoque se presenta como una alternativa viable a la redundancia dedicada, particularmente para sistemas donde los costos de hardware son una restricción.

Limitaciones y Trabajo Futuro
Los autores señalan explícitamente que el enfoque actual asume solo una falla de recurso a la vez; el manejo de múltiples fallas simultáneas se difiere para trabajos futuros. Además, el estudio se basa en la selección aleatoria de transiciones, y los autores sugieren que los enfoques deterministas podrían mejorar aún más el rendimiento. Las direcciones de investigación futura incluyen la extensión del método a múltiples fallas, la optimización del rendimiento mediante transiciones deterministas, la prueba en modelos más complejos e la integración de aprendizaje automático para la predicción de fallas.

Más como este