Modelagem e programação de sistemas a eventos discretos periodicos

Abstract

Uma metodologia para obter um escalonamento cíclico em Sistemas a Eventos Discretos é proposta neste trabalho. Esta metodologia parte de uma rede de Petri que modela minimamente um sistema a eventos discretos funcionando em regime peri ódico. O método identifica quais são as redes que podem ser tratadas por ele. As redes de Petri tratáveis serão decompostas em subredes identificadas por processos, que são classificados de acordo com suas topologias, o que permite a modelagem do escalonamento cíclico do sistema através de uma modelagem em programac ¸ão linear inteira mista. Este modelo em MILP será implementado no software GAMS. Alguns exemplos tirados da literatura serão usados para mostrar e testar a aplicac ¸ão desta metodologia.