Curso: Modelagem e Design de Sistemas Discretos

Faça a minha inscrição neste curso

	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 Retorno do Exame final Tarefa artigo Zhao&Duan Documento PDF Fórum de notícias Retorno do artigo na versão FINAL Tarefa

	9 maio - 15 maio Análise de propriedades em CPN Nesta aula foramalizaremos melhor a definição das propriedades a serem analisadas em redes CPN, e voltaresmos a discutir a afirmação de Kurt Jensen de que não é "preciso retornar às redes clássicas para se fazer uma análise de problemas modelados em redes CPN...". Assim, vamos rever algumas das propriedades já introduzidas e outras que vamos começar a analisar de maneira mais formal, sempre tendo como foco a análise de sistemas. Portanto analisaremos mais um exemplo clássico: o problema dos bancos de dados distribuídos. Lista de exercícios 5 em PDF Documento PDF Transparencias da Aula 9 Documento PDF