Modelagem e Design de Sistemas Discretos em Redes de Petri (Modelagem e Design de Sistemas).

Introduzir os conceitos de modelagem de sistemas discretos e suas aplicações usando o formalismo de redes de Petri e autômatos finitos. Habilitar os participantes a usar software de apoio de forma criteriosa e cuidadosa para análise de sistemas discretos, em especial os sistemas automatizados simples, com ordenação parcial e de tempo real.
Introduzir a discussão sobre o padrão ISO/IEC 15909 que define as redes de Petri e suas extensões e tratar do processo de modelagem usando de redes de Petri para sistemas de grande porte e para sistemas complexos.
Tipos de rede abordadas: Redes Elementares, Redes P/T, High Level Petri Nets, Redes estendidas e orientadas a objeto.
Software de apoio usado: PIPE2, CPN Tools, GHENeSys