Apresentam-se as formas de aplicação dos sistemas digitais para automação da Automação Elétrica de Processos Industriais. Ênfase especial é dada redes de Petri em Sistemas Automatizados.

Revisão de linguagem de programação dos controladores programáveis: Diagrama de Relés (LD), Diagrama de Blocos (FBD) e Diagrama Seqüencial ou Grafcet (SFC), - Modelamento de Sistema Automatizados a Eventos Discretos: Classes de Redes de Petri, Propriedades de desempenho e estruturais: Limitação, conservação, vivacidade, alcançabilidadde, persistência e reversibilidade; - Processos de modelamento:Abordagens: Agrupamento e Refinamento. Subredes de processos de manufatura. - Projeto de controladores em Automação: Especicações Interconexão entre o controle de processo e o de eventos. Redes de Petri básicas de proteção e sinalização. Detecção, Diagnóstico e Recuperação de Falhas. -Redes Estocásticas;: Análise pôr Simulação Digital - Modelamento e Controle de Manufaturas. Produção repetitiva em Central de trabalho (job shop). Sistemas Kanban. Gestão da Automação. Implantação, melhorias e Formação de Recursos.

Revisão de linguagem de programação dos controladores programáveis: Diagrama de Relés (LD), Diagrama de Blocos (FBD) e Diagrama Seqüencial ou Grafcet (SFC), - Modelamento de Sistema Automatizados a Eventos Discretos: Classes de Redes de Petri, Propriedades de desempenho e estruturais: Limitação, conservação, vivacidade, alcançabilidadde, persistência e reversibilidade; - Processos de modelamento:Abordagens: Agrupamento e Refinamento. Subredes de processos de manufatura. - Projeto de controladores em Automação: Especicações Interconexão entre o controle de processo e o de eventos. Redes de Petri básicas de proteção e sinalização. Detecção, Diagnóstico e Recuperação de Falhas. -Redes Estocásticas;: Análise pôr Simulação Digital - Modelamento e Controle de Manufaturas. Produção repetitiva em Central de trabalho (job shop). Sistemas Kanban. Gestão da Automação. Implantação, melhorias e Formação de Recursos. 
PEA2505 - Introduction to Industrial Systems Automation
1.Review of Programmable Controllers Softwares: - Ladder Diagram;- Function Block Diagram;- Sequential Flow Chart or Grafcet. 2.Modeling of Discrete Events Automation Systems: - Petri Net Classification Performance and Structural Properties: k-boundedness, conservativeness, liveness, reachability and coverability.3.Modeling Processes: - Bottom-up and Top-down;- SubNets in Manufacturing Processes.4.Automation Controller Design- From specification to ladder program using Petri Nets;- Basic Petri Net for safety and signaling;- Failure Detection, Diagnostics and Recovery.5.Stochastic Nets:- Analysis through Digital Simulation.6.Manufacturing Control and Modeling:- Job Shop;- Kanban Systems;- Automation Management ;- Human Resources Improvement