Validação formal de modelos de manufatura flexível com lógica dinâmica: o uso de Petri-PDL

Página do item simplificado
dc.contributor.advisor1Costa, Vaston Gonçalves da
dc.contributor.advisor1Latteshttp://lattes.cnpq.br/5192533875584788eng
dc.contributor.referee1Costa, Vaston Gonçalves da
dc.contributor.referee2Stoppa, Marcelo Henrique
dc.contributor.referee3Vieira, Bruno Lopes
dc.contributor.referee4Rabelo, Marcos Napoleão
dc.contributor.referee5Galdino, André Luiz
dc.creatorBastos, Thiago de Almeida
dc.creator.Latteshttp://lattes.cnpq.br/9487287750357440eng
dc.date.accessioned2018-02-16T09:38:12Z
dc.date.accessioned2022-04-26T13:40:06Z
dc.date.available2022-04-26T13:40:06Z
dc.date.issued2018-01-30
dc.description.abstractThis 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.eng
dc.description.resumoEste 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.eng
dc.formatapplication/pdf*
dc.identifier.citationBASTOS, 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.eng
dc.identifier.urihttp://repositorio.ufcat.edu.br/tede/handle/tede/8167
dc.languageporeng
dc.publisherUniversidade Federal de Goiáseng
dc.publisher.countryBrasileng
dc.publisher.departmentRegional Catalão (RC)eng
dc.publisher.initialsUFGeng
dc.publisher.programPrograma de Pós-graduação em Modelagem e Otimização (RC)eng
dc.rightsAcesso Aberto
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/
dc.subjectLógica dinâmicapor
dc.subjectSistemas flexíveis de manufaturapor
dc.subjectPetri-PDLpor
dc.subjectMétodos formaispor
dc.subjectDynamic logiceng
dc.subjectFlexible manufacturing systemseng
dc.subjectFormal methodseng
dc.subject.cnpqCIENCIAS EXATAS E DA TERRA::MATEMATICAeng
dc.titleValidação formal de modelos de manufatura flexível com lógica dinâmica: o uso de Petri-PDLeng
dc.title.alternativeValidation of flexible manufacturing Models with dynamic logic: the use of Petri-PDLeng
dc.typeDissertaçãoeng

Arquivos

Pacote Original
Agora exibindo 1 - 1 de 1
Imagem de Miniatura
Nome:
Dissertação - Thiago de Almeida Bastos -2018 .pdf
Tamanho:
2.7 MB
Formato:
Adobe Portable Document Format
Baixar
Licença do Pacote
Agora exibindo 1 - 1 de 1
Nenhuma Miniatura disponível
Nome:
license.txt
Tamanho:
2.11 KB
Formato:
Plain Text
Descrição:
Baixar

Coleções

Mestrado em Modelagem e Otimização - PPGMO