Introduzir os conceito de modelagem e design de sistemas discretos usando uma representação esquemática formal: as redes de Petri. Apresentar a formalização das Redes de Petri segundo o padrão ISO/IEC 15.909, e discutir as extensões, em especial as redes hierárquicas, tagged e orientadas a objetos. Capacitar os participantes a analisar sistemas discretos formalmente, usando as propriedades estátias e dinämicas das redes de Petri. Discussão sobre temas em aberto para pesquisa na área.