Informações do curso

A disciplina introduz conceitos de modelagem formal no design de sistemas discretos usando uma representação esquemática baseada na teoria de grafos: as redes de Petri. O foco é a modelagem de processos, essencial para automação de sistemas e serviços, com aplicações gerais nos domínios de manufatura, sistemas de agro-serviços ou TI-enabled services. Trataremos da verificação formal de sistemas através da análise das propriedades das redes de Petri, além da dinâmica de processos (simulação discreta). As redes de Petri utilizadas são as previstas na norma ISO/IEC ISO/IEC 15.909, dividida em: 15.909-1 (Redes P/T e de alto nível), ISO/IEC 15.909-2, com o protocolo de comunicação baseado em XML (PNML, Petri Net Markup Language) e ISO/IEC 15.909-3, que prevê as extensões, como redes temporizadas, hierárquicas, gates inibidores, etc.