Ir para o conteúdo principal
Painel lateral
Disciplinas »
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
AACCs/FFLCH
Pró-Reitoria de Pós-Graduação
Outros
Suporte »
Acesso
Perfis
Ouvintes
Docentes
Criação de Disciplinas da USP
Documentação
HelpDesk e Contato
Guia de uso
Sobre
Português - Brasil (pt_br)
Deutsch (de)
English (en)
Español - Internacional (es)
Français (fr)
Italiano (it)
Português - Brasil (pt_br)
Buscar
Fechar
Buscar
Alternar entrada de pesquisa
Acessar
PMR5237-Modelagem e Design de Sistemas Discretos em Redes de Petri
Início
Ambientes
2021
EP
PMR
PMR5237--2021
Modelagem formal de sistemas baseada no espaço de ...
Video da Aula10
Video da Aula10
Clique em
Video da Aula10
para abrir o recurso.
◄ Slides da Aula10
Seguir para...
Seguir para...
Avisos
Fórum de notícias
Leitura da Semana
A Gentle Introduction to Graph Theory
Acesso ao Petri Nets World
Link para a aula virtual
Slides da Aula1
Lista de exercícios 1
Leitura da semana
Entrega da lista de exercícios
Aula2
Video da Aula2
Leitura para as próximas semanas
Aula3
Link para a aula virtual (Aula3)
Vídeo da Aula3
Lista de exercícios 2
Slides da Aula4
Proposta de artigo
Lista de exercícios 2
Video da Aula4
Leitura da semana
Slides da Aula5
High Level Petri Nets
Principles of High Level Nets
Vídeo da Aula5
artigo do Kurt Jensen
Slides da Aula6
Video da Aula6
Discussão sobre a temática e abordagem para os artigos finais
Fault diagnosis based on Petri Nets
Slides da Aula7(revisado)
Dúvidas sobre o próximo milestone do artigo final
Video da Aula7
Slides da Aula8
Milestone 2 do artigo
Vídeo da Aula8
ISO/IEC 15.909-1 standard
Aula9
Video da Aual9
Slides da Aula10
Slides da Aula11
Vídeo da Aula11
Milestone do Artigo (3)
Object Petri Nets - R.Valk
Link para a aula virtual (Aula12)
Aula12
Milestone4
Entrega do artigo completo
Vídeo da Aula12
Slides da Aula11 ►