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.
| Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.bc.ufg.br:tede/8167 |
| Date | 30 January 2018 |
| Creators | Bastos, Thiago de Almeida |
| Contributors | Costa, Vaston Gonçalves da, Costa, Vaston Gonçalves da, Stoppa, Marcelo Henrique, Vieira, Bruno Lopes, Rabelo, Marcos Napoleão, Galdino, André Luiz |
| Publisher | Universidade Federal de Goiás, Programa de Pós-graduação em Modelagem e Otimização (RC), UFG, Brasil, Regional Catalão (RC) |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Format | application/pdf |
| Source | reponame:Biblioteca Digital de Teses e Dissertações da UFG, instname:Universidade Federal de Goiás, instacron:UFG |
| Rights | http://creativecommons.org/licenses/by-nc-nd/4.0/, info:eu-repo/semantics/openAccess |
| Relation | 5321942601948699525, 600, 600, 600, 6665988530194015545, -7090823417984401694 |
Page generated in 0.0022 seconds