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.

Hoje discutiremos o formalismo das redes coloridas, o seu papel na modelagem e design de sistemas, especialmente das novas aplicações das redes de Petri que despontam como promissoras: na análise de requisitos e na verificação formal de sistemas complexos e de grande porte.

Para isso, a análise de propriedades representa um papel muito importante e portanto dedicaremos uma boa parte do tempo para discutir as propriedades principais, relacionadas com a simulação (atingibilidade e redes de ocorrência) e a análise de invariantes. A afirmação do Kurt Jensen de que não é necessário reduzir a representação em redes coloridasa a uma representação clássica para introduzir a análise de invariantes, será um dos pontos principais da nossa discussão e, através de exemplos vamos verificar como seria uma análise de invariantes feita diretamente da representação em CPN. Como sempre o CPN Tools será o sistema base para testes e exercícios.

Para casa fica a tarefa de fazer uma análise do exemplo de redes de comunicação em CPN, cujo desenvolvimento está na leitura da semana. Ainda para casa (e este exercício deverá ser retornado até a próxima terça-feira) vocês devem completar o exercício da semana passada e ainda - a apresentação detalhada da proposta central do artigo - e fazer uma terceira seção com o levantamento bibliográfico (quem propõe algo semelhante, criticas, resultados já existentes, e descrição da base formal para a proposta que está sendo apresentada.