2018-02-162022-04-262022-04-262018-01-30BASTOS, 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.http://repositorio.ufcat.edu.br/tede/handle/tede/8167This 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.application/pdfAcesso AbertoLógica dinâmicaSistemas flexíveis de manufaturaPetri-PDLMétodos formaisDynamic logicFlexible manufacturing systemsFormal methodsCIENCIAS EXATAS E DA TERRA::MATEMATICADissertação