Resumen

Para un sistema de fabricación automatizado (AMS), es un problema computacionalmente intratable encontrar una política de evitación de bloqueos (DAP) máximamente permisiva en un caso general, ya que la decisión sobre la seguridad de un estado alcanzable es NP-duro. Este documento se centra en el problema de evitación de bloqueos para sistemas de procesos secuenciales simples con recursos (SPR) utilizando la teoría de análisis estructural de redes de Petri. Inspirado en el DAP de un paso hacia adelante que es un resultado establecido, de complejidad polinómica, para un SPR sin recursos de capacidad unitaria compartidos por dos o más circuitos de transición de recursos (en el modelo de red de Petri) que no se incluyen mutuamente, esta investigación explora una política de evitación de bloqueos de múltiples pasos hacia adelante para un sistema modelado con un SPR que contiene un recurso compartido de capacidad unitaria en circuitos de transición de recursos. Se muestra que el desarrollo de un DAP óptimo para la clase considerada de redes de Petri también es de complej

• Materias:Sistemas multiagente Dinámica de interacción Simulación de comportamientos Ecuaciones diferenciales estocásticas Dinámica caótica
• Subjects:Multiagent systems Interaction dynamics Behavioral simulation Stochastic differential equations Chaotic dynamics
• Palabras claves:Sistema de fabricación automatizada; Política de evitación de interbloqueos; Redes de Petri; Teoría de análisis estructural; Procesos secuenciales con recursos; Complejidad polinómica
• Keywords:Automated manufacturing system; Deadlock avoidance policy; Petri nets; Structural analysis theory; Sequential processes with resources; Polynomial complexity