Resumen

La programación entera mixta (MIP) es una técnica importante para verificar la propiedad de vialidad de sistemas de fabricación flexible (FMS) secuenciales modelados por redes de Petri. Cuando hay enrutamientos completamente flexibles en FMS, los métodos basados en MIP existentes no son adecuados para probar su vialidad. Este artículo define primero una subclase de redes S*PR, a saber, las redes OSC-S*PR, y concluye que una red OSC-S*PR es viva si no existen sifones no controlados al máximo. En consecuencia, determinar si una red OSC-S*PR es viva o no también puede lograrse utilizando herramientas estandarizadas de programación entera mixta (MIP). Además, la propiedad de vialidad de las redes S*PR puede probarse en dos pasos: primero, para una red S*PR dada, construyendo una red OSC-S*PR para asegurar que si esta última es viva, entonces la primera también debe serlo; segundo, probando la vialidad de la red OSC-S*PR construida mediante el algoritmo

• Materias:Modelos matemáticos Conjuntos difusos Ecuaciones integrales Fusión de características Algoritmo de optimización
• Subjects:Mathematical models Fuzzy sets Integral equations Feature fusion Optimization algorithm
• Palabras claves:Programación entera; Propiedad de vivacidad; Sistemas de fabricación flexibles secuenciales; Redes de Petri; Métodos basados en IPM; Redes OSC-S*PR
• Keywords:Integer programming; Liveness property; Sequential flexible manufacturing systems; Petri nets; MIP-based methods; OSC-S*PR nets