03 Redes Petri Apostila

Sistemas Digitais III
EE773 / NE853

Redes de Petri

PROF. FRANCISCO ENÉAS LEMOS
PROF. EDSON LEMOS HORTA
PROF. ORLANDO DEL BIANCO FILHO
PROF. LUIS CALDAS
PROF. MARIA CLAUDIA CASTRO

1O SEM. / 2004

REDES DE PETRI

2

ÍNDICE
1- Revisão dos Modelos de Estruturas Digitais Elementares.......................................................................... 4
1.1- Modelo combinatório ........................................................................................................................... 4
1.2- Modelo seqüencial Assíncrono ........................................................................................................... 4
1.3 - Modelo Seqüencial Síncrono .............................................................................................................. 6
2 - Uma metodologia para projetar Sistemas Digitais ..................................................................................... 7
2.1 - Conceitos básicos ................................................................................................................................ 7
2.2 - O Problema da descrição de tarefas e o Conceito de Algoritmo....................................................... 10
2.3 - O método de projeto.......................................................................................................................... 12
2.4 - Exemplo de um projeto ..................................................................................................................... 13
3 - O modelo de redes de Petri como um mecanismo formal de descrição e análise de sistemas ................ 19
3.1 - Histórico............................................................................................................................................ 19
3.2 - Por que é necessário um mecanismo formal de descrição? .............................................................. 19
3.3 - Apresentação do modelo de redes de