Neste trabalho é apresentada
uma nova formalização de
rede de Petri, denominada Rede de Petri Multiplexada. Este tipo de rede apresenta uma estrutura de funções em suas transições que multiplexa os arcos, dando a capacidade de compactação da rede em número de transições, permitindo realizar em termos de uma rede de Petri Lugar/Transição os mesmos objetivos que uma rede de Petri Predicado/Transição. Por outro lado, o trabalho contempla a utilização da lógica temporal na especificação do
comportamento da rede, permitindo utilizá-las na na modelagem e síntese de Supervisores de
Sistemas a Eventos Discretos, cujo paradigma já é bastante utilizado e se apresenta como uma das ferramentas mais viáveis para o
controle abstrato destes sistemas. Desde que a lógica temporal tem se mostrado como muito usual pela sua grande abrangência, esta substitui as linguagens formais na especificação de comportamentos dos Sistemas a Eventos Discretos, em suas várias modalidades, como a RTTL, CTL, entre outras. Assim, este trabalho se apresenta como uma base na estruturação de novos conceitos que se podem aplicar aos Sistemas a Eventos Discretos, tanto na base da modelagem como na especificação de comportamentos e na síntese de supervisores para a automação destes sistemas, que é uma das principais formalizações para a moderna automação industrial no mundo atual.
Mais sinopses sobre Utilizando Redes de Petri Multiplexadas na Síntese de Supervisores de Sistemas a Eventos Discretos