Return to search

Validação formal de modelos de manufatura flexível com lógica dinâmica: o uso de Petri-PDL / Validation of flexible manufacturing Models with dynamic logic: the use of Petri-PDL

Submitted by Franciele Moreira (francielemoreyra@gmail.com) on 2018-02-15T15:02:41Z
No. of bitstreams: 2
Dissertação - Thiago de Almeida Bastos -2018 .pdf: 2834099 bytes, checksum: 20704146dd6e29dc70c067fcbd0011a2 (MD5)
license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2018-02-16T09:38:12Z (GMT) No. of bitstreams: 2
Dissertação - Thiago de Almeida Bastos -2018 .pdf: 2834099 bytes, checksum: 20704146dd6e29dc70c067fcbd0011a2 (MD5)
license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2018-02-16T09:38:12Z (GMT). No. of bitstreams: 2
Dissertação - Thiago de Almeida Bastos -2018 .pdf: 2834099 bytes, checksum: 20704146dd6e29dc70c067fcbd0011a2 (MD5)
license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)
Previous issue date: 2018-01-30 / 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. / Este trabalho busca contribuir com a automação de linhas de produção e propõe uma
metodologia para a verificação formal de modelos de manufatura flexível a partir da
ferramenta Petri-PDL. O conceito Petri-PDL baseia-se em uma lógica multimodal associada ao

esquema definido para o problema com as redes de Petri para especificar e modelar
problemas sequenciais demonstrando em provas lógicas a corretude de propriedades inferidas
pelo modelo. Este tratamento formal será adaptado para o tratamento de processos
sequenciais flexíveis, uma vez que estes modelos são usados em muitas outras aplicações
com redes de Petri. Serão considerados modelos de sistema de produção flexível encontrados
na revisão sistemática para avaliar a eficiência de seu modelo e sua adaptação a este
refinamento formal.

Identiferoai:union.ndltd.org:IBICT/oai:repositorio.bc.ufg.br:tede/8167
Date30 January 2018
CreatorsBastos, Thiago de Almeida
ContributorsCosta, Vaston Gonçalves da, Costa, Vaston Gonçalves da, Stoppa, Marcelo Henrique, Vieira, Bruno Lopes, Rabelo, Marcos Napoleão, Galdino, André Luiz
PublisherUniversidade Federal de Goiás, Programa de Pós-graduação em Modelagem e Otimização (RC), UFG, Brasil, Regional Catalão (RC)
Source SetsIBICT Brazilian ETDs
LanguagePortuguese
Detected LanguagePortuguese
Typeinfo:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis
Formatapplication/pdf
Sourcereponame:Biblioteca Digital de Teses e Dissertações da UFG, instname:Universidade Federal de Goiás, instacron:UFG
Rightshttp://creativecommons.org/licenses/by-nc-nd/4.0/, info:eu-repo/semantics/openAccess
Relation5321942601948699525, 600, 600, 600, 6665988530194015545, -7090823417984401694

Page generated in 0.0026 seconds