Introdução e Apresentação da disciplina

Unidade 1

Notação Z

• Dados e Operações

  • Parte 1

  • Parte 2

• Refinamentos Sucessivos

• Tradução de Especificação em Código

• Ferramenta para a Especificação

Unidade 2

Redes de Petri

• Especificação de Sistemas de Eventos Discretos

• Cooperação, competição, pseudo-paralelismo e paralelismo

  • Parte 1

  • Parte 2

• Componentes e definição formal

  • Parte 1

  • Parte 2

  • Parte 3

  • Parte 4

Unidade 3

Redes de Petri Colorida

• Redes de Petri coloridas não hierárquicas

• Programação CPN/ML

• RPC definição formal

• Redes de Petri coloridas hierárquicas

• Propriedades comportamentais e espaço de estados