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

1. 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.
2. Técnicas de modelagem e análise: teoria de filas, álgebra min-maxs, autômatos finitos, linguagens formais, simulação discreta, rede de Petri.
3. 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.
4. Rede evento-condição: regras, situação de conflito, situação de contato, complementação de redes.
5. Rede lugar-transição: regras, situação de conflito, situação de contato, complementação de redes.
6. Rede colorida (marcas individuais): regras.
7. Redes interpretadas: PFS (Production Flow Schema), MFG (Mark Flow Graph), SFC, GRAFCET.
8. Método para construção de modelos baseados em redes de Petri.