Objetivo
Apresentar as diferentes abordagens para a caracterização, modelagem e análise de sistemas a eventos discretos (SED), com ênfase na teoria de redes de Petri e técnicas de simulação discreta.
Programa da Disciplina
- Introdução: motivação para o estudo de sistemas a eventos discretos (SED), sistemas de variáveis contínuas (SVC) e sistemas híbridos, conceitos fundamentais de SED e sistemas híbridos.
- Técnicas de modelagem e análise: teoria de filas, álgebra min-maxs, autômatos finitos, linguagens formais, simulação discreta, rede de Petri.
- Rede de Petri: conceito de componentes ativos e passivos, correspondência entre o comportamento dinâmico de SED e sua representação gráfica na forma de redes.
- Rede evento-condição: regras, situação de conflito, situação de contato, complementação de redes.
- Rede lugar-transição: regras, situação de conflito, situação de contato, complementação de redes.
- Rede colorida (marcas individuais): regras.
- Redes interpretadas: PFS (Production Flow Schema), MFG (Mark Flow Graph), SFC, GRAFCET.
- Método para construção de modelos baseados em redes de Petri.
