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.