Validação formal de modelos de manufatura flexível com lógica dinâmica: o uso de Petri-PDL
Carregando...
Data
2018-01-30
Autores
Título da Revista
ISSN da Revista
Título de Volume
Editor
Universidade Federal de Goiás
Resumo
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.
Descrição
Palavras-chave
Lógica dinâmica, Sistemas flexíveis de manufatura, Petri-PDL, Métodos formais, Dynamic logic, Flexible manufacturing systems, Formal methods
Citação
BASTOS, Thiago de Almeida. Validação formal de modelos de manufatura flexível com lógica dinâmica: o uso de Petri-PDL. 2018. 68 f . Dissertação (Mestrado em Modelagem e Otimização) - Universidade Federal de Goiás, Catalão, 2018.