Este livro dá uma visão básica sobre a moderna automação industrial, cuja base se dá na metodologia de modelagem dos sistemas
a eventos discretos por meio dos autômatos e linguagens formais e pelas redes de Petri. Neste contexto, as especificações de comportamento são descritas através de linguagens formais ou de lógica temporal (CTL - computation tree logic) e a construção do supervisor, que é o agente de controle para estes sistemas, é realizada por meio de algoritmos computacionais. Para o primeiro caso, ou seja, via sistemas a eventos discretos modelados por autômatos, a abordagem de construção do supervisor é a denominada malha RW (dos criadores Ramadge e Wonham), enquanto que para a segunda (via redes de Petri) é utilizada a abordagem de Barroso (tese de doutorado). Além do mais, na abordagem de especificação do comportamento dos sistemas, a abordagem utilizando a lógica temporal é baseada na dissertação de mestrado de Eduard Costa, a qual se mostra uma importante ferramenta para análise de caminhos em autômatos e redes de Petri. Neste livro são apresentados os algoritmos definidos para a construção do supervisor nestas abordagens, dando uma forte base para o conhecimento de quem adentra na área de automação industrial.