Informações do curso

Introduzir conceitos de design e modelagem formal de sistemas discretos automatizados usando uma representação esquemática baseada em redes de Petri. Introduzir o uso de esquemas formais para a análise e verificação de requisitos e processos usando redes de Petri trabalhando tanto com a estrutura como com o comportamento, relacionado com a dinâmica da rede. Introduzir os principais tipos de rede inscritos na norma ISO/IEC 15.909 (Redes P/T e de alto nível), bem como dos protocolos de comunicação e extensões (temporizadas e hierárquicas). Aplicações em sistemas de manufatura, controle discreto e serviços automatizados.