Modelagem de Sistemas Comunicantes

Paulo Maciel

Objetivo: Este curso tem por objetivo apresentar uma introdução aos modelos formais para representação de sistemas paralelos, concorrentes e distribuídos. O curso foca principalmente em redes de Petri, contudo apresenta de forma introdutória os autômatos paralelos, a ágebra de processos Finite State Process (FSP) para evidenciar as diferenças entre os elementos básicos de representações adotados por estes modelos.

Público-alvo: Alunos da pós-graduação.

Vídeo aulas.

Ementa.

Planejamento das Aulas:

Parte 1: Introdução aos Formalismos para Modelagem de Sistemas Concorrentes.

Parte 1: Álgebras de Processo (FSP e CSP).

Exercícios: Lista 1, Lista 2 e Lista 3.

Referências:

Intoduction to Discrete Event Systems, Cassandras and Lafortune, Kluwer, 2008.

Parte 2: Introdução as Redes de Petri.

Exercícios: Lista 1, Lista 2 e Lista 3.

Informações Complementares: Paulo Maciel – Uma Introdução às Redes de Petri e Aplicações.

Referências:

Murata, T. – Petri nets: Properties, analysis and applications.

Concurrency: State Models & Java Programs, 2nd Edition byJeff MageeandJeff Kramer John Wiley & Sons 2006.

Parte 3: Redes de Petri Temporizadas (versão 1).
Parte 3: Extensões temporizadas de Redes de Petri (versão 2).

Exercícios: Lista 1, Lista 2 e Lista 3.

Referências:

Lectures Notes on Petri Nets I, Basic Models. Springer Verlag, 1998.

Lectures Notes on Petri Nets II, Applications. Springer Verlag, 1998.

Parte 4: Redes de Petri Coloridas.

Exercícios: Lista 1, Lista 2 e Lista 3.

Referências:

Coloured Petri Nets: Modelling and Validation of Concurrent Systems by Kurt Jensen and Lars M. Kristensen, 2009.