Navegação por assunto "G-Nets Systems"

Classificar por: Ordenar: Resultados:

  • Análise de sistemas complexos baseada na decomposição de sistemas de G-Nets. 
    PERKUSICH, A.; http://lattes.cnpq.br/9439858291700830; PERKUSICH, Angelo. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICAUFCGUniversidade Federal de Campina Grande, 1994-08-23)
    When specifying, designing and analyzing complex systems, it is necessary to adopt a modular or compositional methodology. This methodology shall allow the designer the ability to verify local properties of individual ...
  • Uma nova abordagem para a síntese de supervisores de sistemas a eventos discretos. 
    BARROSO, G. C.; http://lattes.cnpq.br/1218783106447217; BARROSO, Giovanni Cordeiro. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICAUFCGUniversidade Federal de Campina Grande, 1996-08-28)
    Petri nets have been widely used to specifying, designing, analyzing and controlling discrete event systems. In the same way, the supervisory control theory, together with Petri nets, has been used to solve the supervisors ...