Introdução: histórico e conceitos fundamentais de Sistemas Seqüenciais, Sistemas a Eventos Discretos. Modelagem de sistemas de Controle Seqüencial. Modelagem das tarefas de controle. Modelagem de Sistemas a Eventos Discretos por redes de Petri. Redes de Petri interpretadas para a especificação e implementação de estratégia de controle de sistemas. Metodologia de projeto de sistemas de controle.
- Docente: Fabricio Junqueira
- Docente: Paulo Eigi Miyagi