| |
Exame final
A correção do exame final será feita após a revisão dos artigos. Notem que na revisão assumi o papel de um revisor de periódicos e não de professor, embora leve em conta que alguns tópicos não foram abordados por não fazerem parte do escopo da disciplina. No momento esta é a única diferença entre estes artigos e outros submetidos a periódicos.
Estou atrasado com a resposta dos artigos, porque além de ter tido alguns problemas de saúde, acoplados a viagens e a coincidência com a revisão final do SBAI. Portanto vamos adiar a entrega do artigo final para o dia 14 de junho. Espero até amanhã divulgar todas as revisões. Certamente fare isso com todas de uma vez, e estou acumulando as revisões até ter todas.
Reinaldo
| |
| | 25 abril - 1 maio Redes Coloridas
Nesta semana começaremos a nossa discussão sobre as redes coloridas, de forma conjugada com a discussão sobre o ambiente de modelagem para estas redes, o CPN Tools. Como de praxe, a nossa primeira abordagem ao tema será informal, e baseada mais no uso prático desta representação. Em seguida, nas aulas seguintes, voltaremos a falar do formalismo e da sua aplicação, tanto na exploração da análise de propriedades, no uso para verficação, e no desenvolvimento de sistemas customizados.
Voltaremos ao exemplo da manipulação de recursos, muito importante em sistemas de manufatura, e a exemplos clássicos com o dos filósofos que usam hachis e não dois garfos para comer.
| 
|
