PMR5023 - Modelagem e Análise de Sistemas de Automação - Abordagem Baseada em Rede de Petri (2023)

Apresentar uma abordagem para a caracterização, modelagem e análise de sistemas de automação baseado no conceito de sistemas a eventos discretos (SEDs) e adoção da rede de Petri como técnica de descrição e validação.