Modelagem e Validação de Sistemas Usando Redes de Petri

Jorge César Abrantes de Figueiredo

Período: 2007.1

Objetivo: Curso voltado para a modelagem de sistemas utilizando uma classe de redes de Petri de alto nível. Apesar de ser uma disciplina mais voltada para a aplicação prática das redes de Petri, os aspectos formais da teoria de redes de Petri também serão abordados.

Público-alvo: Alunos de mestrado e doutorado que pretendem utilizar redes de Petri em seu trabalho de tese ou dissertação. Apesar da disciplina não exigir pré-requisito, seria interessante que o aluno tivesse conhecimentos básicos de métodos formais e redes de Petri.

Formato do Curso: O Curso terá a duração de 30 horas, compreendendo 15 aulas.

Avaliação: projeto + seminários + mini-provas

Planejamento das Aulas:

Aula 1: Introdução Informal de redes de Petri.

Aula 2: Redes de Petri Lugar/Transição (definição formal e análise)

Texto indicado:

· T. Murata. Petri net: properties, analysis and application. Proceedings of the IEEE 77(4):541-580, 1989. (disponível em versão pdf aqui)

Textos complementares:

· J. Desel e W. Reisig. Place/Transition Nets. Lecture on Petri Nets I: Basic Models, LNCS 1491, páginas 122—173, Springer-Verlag, 1998. (volume do LNCS com o professor)

· W. Reisig. Place/transition Systems. Prentice-Hall, 1981. (livro disponível na miniblio)

· J.L. Peterson. Petri Nets, Computing Surveys, 9(3), 1977. (tutorial disponível em versão pdf aqui)

· W. Reisig. A Primer in Petri Net Design. Springer-verlag, 1992. (livro disponível na miniblio)

Aula 3: Redes de Petri Coloridas: Introdução Informal

Texto indicado:

· L.M. Kristensen, S. Christensen e K. Jensen. The practitioner´s Guide to Coloured Pertri Nets. International Journal on Software Transfer Technology, Springer-verlag, 1998. (versão pdf disponível aqui)

Textos Complementares:

· K. Jensen. Coloured Petri Nets, volume 1, Springer-Verlag, 1992. (livro disponível na miniblio)

· K. Jensen. An Introduction to the Theoretical Aspects of Coloured Petri Nets. A Decade of Concurrency, LNCS 803, páginas 230—272, Springer-Verlag, 1994. (versão pdf disponível aqui)

Aula 4: Redes de Petri Coloridas: Módulos e Tempo

Texto indicado:

· K. Jensen. Coloured Petri Nets. Volume 2. Springer-Verlag, 1995. (livro disponível na miniblio) (capítulo 5)

Textos Complementares:

· L.M. Wells. Performance Analysis Using Coloured Petri Nets. Tese de Doutorado, Universidade de Aarhus, Dinamarca, 2002. (versão pdf disponível aqui)

Aula 5: CPN Tools.

Texto indicado:

· A. V. Ratzzer et alli. CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets, 2003. (versão pdf disponível aqui)

Aula 6: Redes de Petri Coloridas: Análise

Texto indicado:

· K. Jensen. Coloured Petri Nets. Volume 2. Springer-Verlag, 1995. (livro disponível na miniblio) (capítulos 1, 2 e 3)

Textos Complementares:

· L.M. Kristensen. State Space Methods for Coloured Petri Nets. Tese de Doutorado, Universidade de Aarhus, Dinamarca, 2000. (versão pdf disponível aqui)

· J.B. Jørgensen. Construction of Occurrence Graphs with Permutation Symmetries Aided by the Backtrack Method. (versão pdf disponível aqui)

· J.B. Jørgensen. Analysing Coloured Petri Nets by the Occurrence Graph Method. (versão pdf disponível aqui)

Aula 7: Redes de Petri coloridas: Exemplos

Aula 8: Propostas de projetos

Aula 9 a 15: Seminários e apresentação dos Projetos