 |
|
| SLIDES EM FORMATO PDF/PPS | |
|
|
|
Capítulo 1 - Introdução à Programação Concorrente (pc-01.zip) |
|
|
|
|
Capítulo 2 - Semáforos (pc-02.zip) |
|
|
|
|
Capítulo 3 - Monitores (pc-03.zip) |
|
|
|
|
Capítulo 4 - Redes de Petri (pc-04.zip) |
|
|
|
|
Capítulo 5 - Concorrência em Java (pc-05.zip) |
|
|
|
|
|
Disponível para Download |
 |
Em preparação |
|
|
| AULAS PRÁTICAS | |
|
|
|
Aula 1 - Utilizando Pascal-FC (ine5410-lab-01.zip) |
|
|
|
|
Aula 2 - Sistemas Concorrentes (ine5410-lab-02.zip) |
|
|
|
|
Aula 3 - Utilizando Semáforos (ine5410-lab-03.zip) |
|
|
|
|
Aula 4 - Concorrência com Semáforos (ine5410-lab-04.zip) |
|
|
|
|
Aula 5 - Utilizando Monitores (ine5410-lab-05.zip) |
|
|
|
|
Aula 6 - Redes de Petri - Grafos (ine5410-lab-06.zip) |
|
|
|
|
Aula 7 - Redes de Petri - Propriedades (ine5410-lab-07.zip) |
|
|
|
|
Aula 8 - Redes de Petri - Ferramentas de Suporte (ine5410-lab-08.zip) |
|
|
|
|
Aula 09 - Java - Programando com Threads (ine5410-lab-09.zip) |
|
|
|
|
Aula 10 - Java - Sincronização de Threads (ine5410-lab-10.zip) |
|
|
|
|
|
|
|
Disponível para Download |
|
Em preparação |
|
|
| SOFTWARE | |
|
|
|
Pascal-FC (pascal-fc.zip) |
|
|
|
|
ARP - Analizador de Redes de Petro (arp.zip) |
|
|
|
|
jARP - Analizador de Redes de Petri - Versão em Java (jarp.zip) |
|
|
|
|
|
Disponível para Download |
|
Em preparação |
|
|
| MATERIAL COMPLEMENTAR | |
|
|
|
Manual Pascal-FC (manual-pascal-fc.zip) |
 |
|
|
|
Tutorial Semáforos (semaforos.zip) |
|
|
|
|
Livro Redes de Petri - J. Cardoso e R. Valette (rdp.zip) |
|
|
|
|
|
Disponível para Download |
|
Em preparação |