Este artigo apresenta contribuições ao uso de abstrações no controle modular de sistemas a eventos discretos. Inicialmente, propõe-se a estratégia W ○ T para a construção de abstrações para o teste de não-conflito. Em seguida, apresenta-se uma ferramenta computacional eficiente para o problema de verificar se uma abstração satisfaz a propriedade de observador (OP); esta propriedade tem um papel importante na abordagem de verificação de não-conflito de supervisores modulares baseada em abstrações. Esta ferramenta é então utilizada para validar a estratégia W ○ T no contexto de um estudo de caso correspondendo a um exemplo de sistema de manufatura de médio porte.

This paper presents contributions on the use of abstractions in modular control of discrete event systems. First, the W ○ T-strategy is presented for the construction of abstractions for the nonconflict test of local modular supervisors. Second, an efficient computational tool is introduced for the problem of verifying if given abstractions of modular supervisors satisfy the so-called observer property (OP); the observer property plays an important role in the validity of the nonconflict test over abstractions. Finally, this new computational tool is used to validate the W ○ T strategy in the context of a case study of a comprehensive manufacturing example.

O objetivo do presente trabalho é apresentar um sistema híbrido para apoio à decisão (SAD), baseado em simulação e redes de Petri coloridas (CPN) como técnicas de modelagem de processos, associado a um Sistema Especialista (SE) como apoio à sua utilização. O SAD fornece uma interface amigável para o usuário que, após a seleção de parâmetros de entrada, obtém dados sobre o processo produtivo. Para validar o SAD proposto, testes foram realizados utilizando uma planta produtiva real do setor calçadista. Os objetivos do estudo de caso foram elaborar um grupo de propostas para aperfeiçoamento do desempenho do sistema produtivo; avaliar os impactos gerados pela mudança nos parâmetros do modelo; e fornecer uma melhor compreensão da planta produtiva. O SAD mostrou permitir que gestores, mesmo sem conhecimento de técnicas de modelagem, interajam com o sistema e manipulem conjuntos de dados. O sistema ainda mostrou poder ser utilizado para qualquer planta industrial, desde que os parâmetros de entrada do modelo sejam adequadamente ajustados.

This work presents a Decision Support System (DSS) with a hybrid approach, using Simulation and coloured Petri Nets as modeling techniques of manufacturing processes, associated with an Expert System (ES) to help in their use. The DSS provides a friendly interface for the user who, after selecting input parameters, obtains sets of data about the manufacturing process. To validate the proposed DSS, tests have been made using a real plant of footwear manufacturing. The objectives of the case study were to elaborate a group of proposals for improving the productive system performance, to evaluate the impacts created by change on the model parameters and to provide a better understanding about the productive plant. The results offer assistance on decision making and documentation processes. The DSS renders possible for managers, without any knowledge of modeling techniques, to manipulate sets of data and to interact with the system. The developed model can be used for any industrial plant, provided that the model input parameters are adequately adjusted.

Este artigo apresenta um modelo para controle hierárquico modular de sistemas a eventos discretos baseado no controle hierárquico por agregação de estados e no controle modular clássico. Apresenta-se uma combinação das arquiteturas mencionadas, e são dadas condições necessárias e suficientes para que supervisores projetados individualmente sobre a planta quando atuando conjuntamente levem a uma solução consistente e não bloqueante.

This paper presents a model for the hierarchical modular control of discrete event systems based on state aggregation and classical modular control. A combination of the mentioned architectures is presented, and necessary and sufficient conditions are given such that the supervisor's components designed individually when acting jointly over the plant lead to a nonblocking and consistent solution.

Este artigo propõe uma metodologia para a síntese de supervisores ótimos para sistemas automatizados de manufatura. A metodologia se baseia na abordagem de controle supervisório modular local, uma extensão da Teoria de Controle Supervisório que tem o objetivo de evitar a explosão de estados na modelagem e na síntese de supervisores. A modelagem considera que os sistemas de manufatura sejam formados por diversos subsistemas concorrentes que devem ser sincronizados de forma a atender a uma série de especificações. O processo de síntese explora a modularidade das especificações, bem como a estrutura descentralizada natural de sistemas de manufatura, para gerar supervisores minimamente restritivos e de tamanhos reduzidos. A metodologia proposta é aplicada a um exemplo hipotético de sistema integrado de manufatura. Os resultados obtidos mostram considerável redução da complexidade computacional e do tamanho dos supervisores.

This paper proposes a methodology for the synthesis of optimal supervisors for automated manufacturing facilities. The methodology is based on local modular supervisory control, an extension of the Supervisory Control Theory with the goal of avoiding states explosion in the modeling and synthesis of supervisors. The modeling consider that manufacturing systems are characteristically formed by several concurrent subsystems that should be synchronized in way to obey a series of specifications. The synthesis process exploits modularity of specifications, as well as the natural decentralized structure of manufacturing systems, to generate minimally restrictive supervisors with reduced number of states. The proposed methodology is applied to a hypothetical example of integrated manufacturing system. The results show considerable reduction of the computational complexity and of the size of supervisors.