PMR5237 - Modelagem e Design de Sistemas Discretos em Redes de Petri (2025)
PMR
Introduzir conceitos de design e modelagem formal de sistemas discretos usando uma representação esquemática baseada em grafos e redes de Petri. Modelagem de processos, verificação usando a análise de propriedades das redes de Petri, integrando a análise formal ao jogo de marcas e simulação. Noções de "process mining". Classificação dos tipos de rede inscritos na norma ISO/IEC 15.909 (Redes P/T e de alto nível), protocolos de comunicação PNML e extensões básicas: redes temporizadas e hierárquicas.