Desenvolver a teoria dos processos de automação industrial levando em conta as linguagens de programação e as topologias dos controladores programáveis. A ementa prevê também a parte de modelamento de sistemas e o projeto de controladores para processos de automação através das Redes de Petri.