Este artigo apresenta uma metodologia de distribuição de modelos de controle e de supervisão de sistemas a eventos discretos (SED). A contribuição da nossa proposta é de propiciar uma forma sistemática de decomposição de modelos centralizados com a finalidade de obter uma representação modular da produção, preservando suas principais propriedades assim como o conhecimento adquirido durante a fase de concepção do modelo. Uma das características da nossa proposta é a possibilidade de introduzir informações redundantes nos sub-modelos afim de aumentar a autonomia local e auxiliar as funções de tratamento de falhas. Ressaltamos também que a distribuição do modelo centralizado permite adaptações locais que aumentam sua flexibilidade e precisam seu comportament, aproximando-o do sistema físico considerado. Neste artigo, nos apresentamos também alguns termos e definições relativos à área de Controle e Supervisão de SED que serviram de base aos nossos trabalhos.
Supervisão; monitoramento; sistemas distribuídos; sistemas a eventos discretos; redes de Petri
