Introduzir os conceito de modelagem e design de sistemas discretos em automação 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. Aplicações em workflow, manufatura, sistemas de informação, software (requisitos, verificação e teste), planejamento automático, e outros sistemas que possam ser classificados como sistemas de eventos discretos.