Métodos Formais II (MF2-0010)

Introdução às redes de Petri e Bases matemáticas: Revisão de Conjuntos, Relações, Relações de Equivalência, Mapeamentos, Classes de Equivalência; Álgebra Linear. Análise de propriedades: Definições básicas de redes; Propriedades básicas de sistemas; Invariantes S e invariantes T. Grafo de alcançabilidade: Arborescência e grafo de cobertura; Verificação das propriedades. Técnicas de redução: Substituição de um lugar; Simplificação de um lugar implícito; Supressão de lugares neutros; Propriedades das reduções. Classes de redes de Petri: Grafos de eventos / Máquinas de estado; Redes de livre escolha. Redes de alto nível: Redes com capacidades; Redes coloridas; Redes Predicado/Transição. Redes não autônomas: Redes temporizadas; Redes interpretadas. Aplicações: Sistemas a eventos discretos; Exemplos

Bibliografia:

PETERSON, J.L. : Petri Net Theory and Modeling of Systems, Prentice-Hall, 1981;
REISIG, W.: PETRI NETS An Introduction, SPRINGER-VERLAG, 1985;
Artigos de Periódicos.