Sistemas e eventos discretos: conceituação, classificação, propriedades, exemplos. Redes de petri: definições, propriedades, análise, implementação, redes de petri no controle de SEDs. Modelos autômatos de estado. Controle supervisório: teoria de controle para SEDs, baseada em autômatos de estado. Controle supervisório: teoria de controle para SEDs, baseada em autômatos. Sistemas de supervisão: conceituação e aplicações em sistemas de automação.
