Introduzir os conceito de modelagem e design de sistemas discretos usando uma representação esquemática formal: as redes de Petri. Capacitar os participantes a analisar estes sistemas formalmente usando as propriedades das redes de Petri e eventualmente trabalhando com a dinâmica da rede.