Apresentar uma abordagem para a caracterização, modelagem e análise de sistemas de automação baseado na teoria de sistemas a eventos discretos (SEDs) e adoção da rede de Petri como técnica de descrição e validação.
- Docente: Marcosiris Amorim de Oliveira Pessoa
- Docente: Paulo Eigi Miyagi