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

	4 abril - 10 abril Introduzindo as Redes de Alto Nível Nesta aula vamos começar a discussão sobre as redes de alto nível, paralelamente à discussão (e inspirado por ela), da aplicação das redes de Petri no design de sitemas (discretos) automatizados. Começaremos pela discussão das redes Predicado/Transição para discutir os conceitos de dobramento e da estrutura chamada "enlogic" das redes de Petri. Evoluiremos, ainda conceitualmente, para as redes coloridas, no tratamento proposto por Kurt Jensen. Transparencias da Aula5 Documento PDF Enviar nova cópia do artigo (abstract, intodução, bibliografia) Tarefa Leitura da semana: Genrich & Lautenbach Documento PDF