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. Explorar os novos desenvolvimentos da pesquisa no formalismo das redes de Petri e o modelo definido na norma ISO/IEC 15.909. Discutir novos horizontes de pesquisa como as redes híbridas e novas aplicações em Design e Engenharia de Requisitos, além das aplicações convencionais na modelagem e design de sistemas discretos.