Sistemas a 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. Sistemas de Supervisão: conceituação e aplicações em sistemas de automação. Metodologia para construção de modelos de simulação. Simulação computacional. Variabilidade dos sistemas. Testes de verificação e validação. Medidas de avaliação de desempenho.
- Professor: Daniel Martins Lima