| Semana | Nome | Sumário |
|---|---|---|
| artigo Zhao&Duan | artigo para prova do Diogo | |
| 1 | Transparencias da Aula1 | Transparências da primeira aula: Introdução conceitual às redes de Petri, princípios básicos, conceitos de esquema e rede. |
| Leitura da semana | Informal Introduction to Petri Nets, Wolfgan Reisig, Grzegorz Rozemberg Lecture Notes in Computer Science, 1491, pgs.1-10, 1998 | |
| 3 | Transparencias da segunda aula | Redes Elementares, exercicios, formalismo |
| Leitura da semana: Elementary Net Systems | Elementary Net Systems; G. Rozenberg, J. Engelfriet, LNCS 1491, pgs 12-121, 1998. | |
| 1a. Lista de exercícios | Primeira lista de exercícios - sistemas elementares. | |
| 4 | Transparencias da Aula 3 | Faça o download das transparencias de aula em formato PDF |
| Leitura da Semana | Download do artigo do Tadao Murata | |
| Redes Place/Transition | Download artigo de Desel & Reisig, Redes Place/Transition | |
| 5 | Transparencias da Aula4 | Faça o download das transparencias de aula em formato PDF. |
| Lista2 | Segunda lista de exercícios | |
| 6 | Transparencias da Aula5 | Faça do download das transparencias de aula em formato PDF |
| Leitura da semana: Genrich & Lautenbach | A leitura da semana é o artigo do Genrich & Lautenbach sobre as redes Predicado/Trancição. | |
| 7 | Leitura da semana | Faça o upload do artigo do Einar Smith sobre HLPN |
| Padrão ISO/IEC 15909 para HLPN | Final report do padrão ISO/IEC 15.909-1 | |
| Transparencias da Aula6 | Notas de aula | |
| 8 | Lista de exercicios 4 | Faça o download da lista de exercicios |
| 9 | Transparencias de aula | Trasparencias da Aula 7 |
| Redes coloridas: leitura da semana | Artigo do Kurt Jensen | |
| Lista de exercícios 5 | Faça o upload da quinta lista de exercícios. | |
| 10 | Transparencias da Aula8 | Faça o upload das transparencias de aula |
| Leitura da semana | Artigo do Kurt Jensen | |
| 11 | Lista de exercícios 5 em PDF | Para aqueles que não conseguiram abrir a lista ou estão atrasados, segue a lista de exercicios no. 5 em PDF. |
| Transparencias da Aula 9 | Faça o download das transparencias de aula | |
| 12 | Transparencias da Aula10 | |
| 13 | paper do Rudger Valk | download paper de OPNs |
| paper do Lakos sobre Mobile Nets | download mobile nets | |
| transparencias de aula | download das transparencias da Aula 11 | |
Modelagem e Design de Sistemas Discretos
