Resumen

Las políticas de prevención de bloqueos se utilizan para resolver los problemas de bloqueo de los Sistemas de Manufactura Flexible (FMSs). Es bien sabido que la teoría de regiones es el método eficiente para obtener controladores óptimos (es decir, maximamente permisivos). Todos los comportamientos máximos legales y vivos de los modelos de redes de Petri pueden ser preservados mediante el uso de instancias de separación de marca/transición (MTSIs) o métodos de problema de separación de evento/estado (ESSP). Sin embargo, se han encontrado grandes dificultades al intentar resolver todos los conjuntos de desigualdades, lo cual es un problema extremadamente consumidor de tiempo. Además, el número de problemas de programación lineal (LPPs) de marcas legales también es exponencial con el tamaño de la red cuando una red de planta crece exponencialmente. Este artículo propone una metodología novedosa para reducir el número de MTSIs/ESSPs y LPPs. En este documento, se utilizó el enfoque de reducción bien conocido de Murata (198

• Materias:Modelado matemático Modelo de red neuronal Tasa de convergencia Aritmética Ondículas libres
• Subjects:Mathematical modeling Neural network model Convergence rate Arithmetic Free wavelets
• Palabras claves:Políticas de prevención de bloqueos; Sistemas de Manufactura Flexible (FMSs); Teoría de regiones; Controladores óptimos; Modelos de redes de Petri; Instancias de separación de marcado/transición
• Keywords:Deadlock prevention policies; FMSs; Theory of regions; Optimal controllers; Petri net models; Marking/transition-separation instances