An algorithm to evaluate implementation cost for liveness-enforcing supervisors designed by deadlock prevention policy

A política de prevenção de deadlock é amplamente usada para projetar os supervisores de reforço de atividade devido à sua vantagem de que os impasses são considerados e resolvidos nos estágios de projeto e planejamento de sistemas de manufatura flexíveis modelados com redes de Petri. No entanto, como avaliar o custo de implementação desses supervisores de fiscalização de desempenho não é feito na literatura existente. Este artigo propõe um algoritmo para avaliar o desempenho dos custos de implementação de diferentes supervisores de fiscalização da atividade, projetados pela política de prevenção de impasse. Ao projetar um problema de programação linear de múltiplos objetivos associado a dois parâmetros (denotado como f 1 e f 2) para caracterizar os custos de implementação correspondentes para os locais de controle adicionados e as respectivas entradas e saídas e arcos de controle, o algoritmo proposto obtém primeiro as regiões variáveis de f 1 e f 2 E então um coeficiente de nível satisfatório (denotado como λλConcentrar-se nas soluções de comprometimento ótimo de f 1 e f 2 (indicado como f 1 * e f 2 * ) é resolvido por um problema de programação linear. Como resultado, o desempenho do custo de implementação do supervisor de reforço de atividade correspondente pode ser indicado convenientemente com base nos valores de λλ, f 1 * e f 2 * . O potencial prático do algoritmo proposto é demonstrado através de uma análise teórica e vários exemplos amplamente utilizados da literatura existente.