Assimilação dos conceitos fundamentais de sistemas sequenciais, sistemas a eventos discretos, simulação discreta e tecnologia para o projeto de sistemas de controle e automação como: controladores programáveis, linguagens de programação de controladores e metodologia de especificação das estratégias de controle.

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

  Parte teórica: 
1) Introdução: histórico e conceitos fundamentais de Sistemas  Seqüenciais, Sistemas a Eventos Discretos.  2) Modelagem de sistemas de Controle Seqüencial.  3) Modelagem das tarefas de controle.  4) Modelagem de Sistemas a Eventos Discretos por redes de Petri.  5) Redes de Petri interpretadas para a especificação e implementação de estratégias de controle.  6) Metodologia de projeto de sistemas de controle

   Parte prática: 
1) Construção de modelos de sistemas de automação.  2) Análise destes modelos por simulação discreta.  3) Desenvolvimento de programas de controle para controladores programáveis.  4) Teste em bancadas experimentais 
PMR2460 - Modeling and Control of Discrete Systems 
Theoretical classes:1) Introduction: history and fundamental concepts of sequential systems, discrete event dynamic systems. 2) Modeling of sequential control systems. 3) Modeling of control tasks. 4) Petri nets for modeling of discrete event dynamic systems. 5) Interpreted Petri nets for specification and implementation of control strategies. 6) Methodology for design of control systems.

Practical classes: 1) Development of models for automation systems. 2) Analysis of models for discrete simulation. 3) Development of programs for programmable controllers. 4) Tests in experimental devices.