Introduzir os conceitos de modelagem de sistemas discretos e suas aplicações em automação usando o formalismo de redes de Petri, sejam Redes clássicas ou redes de alto nível. Trabalhar com o escopo ampliado de aplicação das RdP, que vai de sistemas de software e análise de requisitos até a aplicação em sistemas de planning e scheduling, passando pelas aplicações em workflow e sistemas de manufatura. Habilitar os participantes a usar software de apoio de forma criteriosa para análise e simulação de sistemas discretos, em especial os sistemas automatizados simples, com ordenação parcial ou de tempo real.
- Docente: Jose Reinaldo Silva