Introduzir conceitos de design e modelagem formal de sistemas discretos usando uma representação esquemática baseada em grafos e redes de Petri. Discutir os métodos para a análise e verificação de sistemas usando análise de propriedades das redes de Petri e trabalhando também com a dinâmica da rede. Introduzir formalmente os principais tipos de rede inscritos na norma ISO/IEC 15.909 (Redes P/T e de alto nível), bem como dos protocolos de comunicação e extensões (hierárquicas e temporizadas).
- Docente: Jose Reinaldo Silva