Navegando por Autor "Bastos, Thiago de Almeida"

Agora exibindo 1 - 1 de 1
  • Imagem de Miniatura
    Item
    Validação formal de modelos de manufatura flexível com lógica dinâmica: o uso de Petri-PDL
    (Universidade Federal de Goiás, 2018-01-30) Bastos, Thiago de Almeida; Costa, Vaston Gonçalves da; http://lattes.cnpq.br/5192533875584788; Costa, Vaston Gonçalves da; Stoppa, Marcelo Henrique; Vieira, Bruno Lopes; Rabelo, Marcos Napoleão; Galdino, André Luiz
    This master's thesis seeks to contribute to the automation of production lines, and proposes a methodology for the formal verification of flexible manufacturing models by the Petri-PDL tool. The Petri-PDL framework is based on a multimodal logic associated with a scheme defined for the problem with the Petri nets to specify and model sequential problems demonstrating in logical proofs the correctness of properties inferred by the model. This formal treatment is adapted for the treatment of flexible sequential processes, since these models are used in many other applications with Petri nets. They will be considered models of flexible production system found in the systematic review to evaluate the efficiency of its model and its adaptation to this formal refinement.