Utilizando Redes de Petri Multiplexadas na Síntese de Supervisores de Sistemas a Eventos Discretos
(Eduard Montgomery Meira Costa; Antonio Marcus Nogueira Lima)
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.
Resumos Relacionados
- Utilizando Redes De Petri Multiplexadas Na Síntese De Supervisores ...
- Sistemas Dinâmicos A Eventos Discretos: Fundamentos Para A Moderna Aut
- Síntese De Supervisores De Sistemas A Eventos Discretos Temporizados
- Gerenciamento E SupervisÃo Inteligente De Sistemas DistribuÍdos De Bai
- Álgebra De Dióides E Aplicações Aos Sistemas Dinâmicos A Eventos Discretos
|
|