21 março - 27 março Redes Place/TransitionNesta semana começaremos a discutir as redes P/T, agora seguindo o texto de Tadao Murata, que é a nossa leitura da semana. Iniciaremos com os conceitos básicos das redes P/T, usando um exemplo direto para discutir a necessidade de introduzir as rees P/T. Ao mesmo tempo vamos inserir a primeira propriedade de pesao que são os invariantes de lugar e transição. Na aula que vem voltaremos a esta discussão, agora em um nível mais elevado.
A condição de disparo para redes P/T será analisada, a consituição da rede dual e um teorema que avalisa a análise dinâmica usando a condição fraca. Uma primeira nocão de invariantes será inserida com base no texto do Murata. Novo Exercício para a próxima aula
Para a próxima aula vocês devem agora ter um documento preliminar para o projeto final (artigo) contendo:
1.Título (e não importa se o título for modificado no futuro)
2.Abstract em inglês
3.Introdução com uma explicação um pouco mais detalhada sobre o tema, a motivação e o resultado esperado; 4.Aguma bibliografia preliminar deve ser acrescentada (e lida).
|