Com a evolução dos dispositivos de controle e o aperfeiçoamento das técnicas da Engenharia de Software, os sistemas de controle têm incrementado o seu grau de flexibilidade, autonomia e confiabilidade, considerando a distribuição das funções de controle, ao invés de estruturas centralizadas. Ao se aplicar o conceito de modularização (de software) associado ao conceito de distribuição dos programas de controle, identifica-se a necessidade de se estabelecer uma correspondência entre estes de uma forma sistemática. Neste trabalho é proposto um conjunto de procedimentos para auxiliar na implementação de projetos de automação considerando a arquitetura dos dispositivos de controle e técnicas para auxiliar na modularização e distribuição do esforço computacional associado às estratégias de controle utilizando a metodologia estruturada PFS/MFG, que é uma técnica derivada das redes de Petri, para efetuar a modelagem do algoritmo de controle.

Due to the evolution of control devices and the improvement of software engineering techniques, the control systems have been enhancing its flexibility, autonomy and reliability degree in regard to control tasks distribution instead of central control. Upon applying the software modularity concept to construct the programs jointly with the control programs distribution concept, there is the necessity to set up a correspondence among them through a systematic method. In this context, this work proposes a methodology that helps an automation project, considering the control devices architecture and techniques, which are implemented to build control modules and computer effort distribution with control strategies using PFS/MFG methodology, which comes from Petri Net, to accomplish control algorithm modeling.