Redução automatizada de redes de petri baseada em algoritmos genéticos

Detalhes bibliográficos
Ano de defesa: 2014
Autor(a) principal: Bevilaqua, André
Orientador(a): Kato, Edilson Reis Rodrigues lattes
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal de São Carlos
Programa de Pós-Graduação: Programa de Pós-Graduação em Ciência da Computação - PPGCC
Departamento: Não Informado pela instituição
País: BR
Palavras-chave em Português:
Redes de computação
Sistemas de manufatura
Computação evolutiva
Redes de Petri
Algoritmo genético
Aplicações de manufatura
Palavras-chave em Inglês:
Petri net
Genetic algorithm
Manufacturing system
Petri net reduction
Área do conhecimento CNPq:
CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Link de acesso: https://repositorio.ufscar.br/handle/20.500.14289/576
Resumo: Petri Net (PN) is a graphical mathematical tool used to create models that provide a formal specification of systems, creating the possibility of running behavior analysis and property verification. PN models can be used to model several system types, for example, Manufacturing Systems. In general, using PN to model systems with too many characteristics cause the so-called state-space explosion problem, in other words, a great element profusion in the model. In order to mitigate the referred problem researchers developed reduction rules to synthetize models. Reduced models maintain original system properties and can be easily analyzed and simulated. A method to automate reduction rules application is proposed on the present research. A Genetic Algorithm heuristic is responsible for applying six reductions rules on Place-Transition Petri Nets given as input. The proposed algorithm, presented as a Matlab toolbox, may contribute when simulating and running property verification methodologies on Petri Net models.
id SCAR_3374e763ef2582cc7057051b8ecf49ae
oai_identifier_str oai:repositorio.ufscar.br:20.500.14289/576
network_acronym_str SCAR
network_name_str Repositório Institucional da UFSCAR
repository_id_str
spelling Bevilaqua, AndréKato, Edilson Reis Rodrigueshttp://lattes.cnpq.br/8517698122676145http://lattes.cnpq.br/84729900214153812f77d9b6-7aca-496d-a0e4-7df4fb26edfe2016-06-02T19:06:15Z2014-10-212016-06-02T19:06:15Z2014-06-26BEVILAQUA, André. Redução automatizada de redes de petri baseada em algoritmos genéticos. 2014. 131 f. Dissertação (Mestrado em Ciências Exatas e da Terra) - Universidade Federal de São Carlos, São Carlos, 2014.https://repositorio.ufscar.br/handle/20.500.14289/576Petri Net (PN) is a graphical mathematical tool used to create models that provide a formal specification of systems, creating the possibility of running behavior analysis and property verification. PN models can be used to model several system types, for example, Manufacturing Systems. In general, using PN to model systems with too many characteristics cause the so-called state-space explosion problem, in other words, a great element profusion in the model. In order to mitigate the referred problem researchers developed reduction rules to synthetize models. Reduced models maintain original system properties and can be easily analyzed and simulated. A method to automate reduction rules application is proposed on the present research. A Genetic Algorithm heuristic is responsible for applying six reductions rules on Place-Transition Petri Nets given as input. The proposed algorithm, presented as a Matlab toolbox, may contribute when simulating and running property verification methodologies on Petri Net models.Rede de Petri (RP) é uma ferramenta de modelagem com rigor matemático usada para especificar e formalizar sistemas e suas características. Modelos de RP podem ser avaliados quanto à seu comportamento dinâmico e suas propriedades estruturais. Diversos tipos de modelos podem ser especificados usando RP s, por exemplo, modelos de Sistemas de Manufatura. De maneira geral, modelos de sistemas complexos sofrem do problema da grande profusão de elementos. Esse problema é um limitante para diversas metodologias de verificação de propriedades e simulação de comportamento dinâmico dos modelos. Frequentemente metodologias baseadas em regras de redução são propostas para superar o problema da grande profusão de elementos. O presente trabalho apresenta uma ferramenta para automatizar a aplicação de regras de redução em modelos de RP. Um conjunto de regras foi selecionado para montar uma base de regras de redução e uma heurística baseada em algoritmos genéticos foi criada para aplicar reduções em modelos de RP Lugar-Transição. Os resultados obtidos mostraram que a ferramenta proposta, apresentada como uma toolbox do Matlab, pode ser utilizada para auxiliar no processo de análise, simulação e verificação de propriedades de sistemas modelados por meio de RP s.application/pdfporUniversidade Federal de São CarlosPrograma de Pós-Graduação em Ciência da Computação - PPGCCUFSCarBRRedes de computaçãoSistemas de manufaturaComputação evolutivaRedes de PetriAlgoritmo genéticoAplicações de manufaturaPetri netGenetic algorithmManufacturing systemPetri net reductionCIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAORedução automatizada de redes de petri baseada em algoritmos genéticosinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesis-1-11c64d62e-b035-4758-ae1e-e72824975942info:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFSCARinstname:Universidade Federal de São Carlos (UFSCAR)instacron:UFSCARORIGINAL6263.pdfapplication/pdf2838494https://repositorio.ufscar.br/bitstreams/38beab8e-66fa-420d-a341-50649b200301/download852261a244b09c47cc828522a799cc8dMD51trueAnonymousREADTEXT6263.pdf.txt6263.pdf.txtExtracted texttext/plain0https://repositorio.ufscar.br/bitstreams/71223220-3e32-43a3-b7a6-e1aa3a7a2e36/downloadd41d8cd98f00b204e9800998ecf8427eMD56falseAnonymousREADTHUMBNAIL6263.pdf.jpg6263.pdf.jpgIM Thumbnailimage/jpeg8361https://repositorio.ufscar.br/bitstreams/4709d1f3-6c1d-4453-ba4d-dfecf2403848/download094fb0c0344ef1a48e6f5cbc9b092b56MD57falseAnonymousREAD20.500.14289/5762025-02-05 15:06:51.646open.accessoai:repositorio.ufscar.br:20.500.14289/576https://repositorio.ufscar.brRepositório InstitucionalPUBhttps://repositorio.ufscar.br/oai/requestrepositorio.sibi@ufscar.bropendoar:43222025-02-05T18:06:51Repositório Institucional da UFSCAR - Universidade Federal de São Carlos (UFSCAR)false
dc.title.por.fl_str_mv Redução automatizada de redes de petri baseada em algoritmos genéticos
title Redução automatizada de redes de petri baseada em algoritmos genéticos
spellingShingle Redução automatizada de redes de petri baseada em algoritmos genéticos
Bevilaqua, André
Redes de computação
Sistemas de manufatura
Computação evolutiva
Redes de Petri
Algoritmo genético
Aplicações de manufatura
Petri net
Genetic algorithm
Manufacturing system
Petri net reduction
CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
title_short Redução automatizada de redes de petri baseada em algoritmos genéticos
title_full Redução automatizada de redes de petri baseada em algoritmos genéticos
title_fullStr Redução automatizada de redes de petri baseada em algoritmos genéticos
title_full_unstemmed Redução automatizada de redes de petri baseada em algoritmos genéticos
title_sort Redução automatizada de redes de petri baseada em algoritmos genéticos
author Bevilaqua, André
author_facet Bevilaqua, André
author_role author
dc.contributor.authorlattes.por.fl_str_mv http://lattes.cnpq.br/8472990021415381
dc.contributor.author.fl_str_mv Bevilaqua, André
dc.contributor.advisor1.fl_str_mv Kato, Edilson Reis Rodrigues
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/8517698122676145
dc.contributor.authorID.fl_str_mv 2f77d9b6-7aca-496d-a0e4-7df4fb26edfe
contributor_str_mv Kato, Edilson Reis Rodrigues
dc.subject.por.fl_str_mv Redes de computação
Sistemas de manufatura
Computação evolutiva
Redes de Petri
Algoritmo genético
Aplicações de manufatura
topic Redes de computação
Sistemas de manufatura
Computação evolutiva
Redes de Petri
Algoritmo genético
Aplicações de manufatura
Petri net
Genetic algorithm
Manufacturing system
Petri net reduction
CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
dc.subject.eng.fl_str_mv Petri net
Genetic algorithm
Manufacturing system
Petri net reduction
dc.subject.cnpq.fl_str_mv CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
description Petri Net (PN) is a graphical mathematical tool used to create models that provide a formal specification of systems, creating the possibility of running behavior analysis and property verification. PN models can be used to model several system types, for example, Manufacturing Systems. In general, using PN to model systems with too many characteristics cause the so-called state-space explosion problem, in other words, a great element profusion in the model. In order to mitigate the referred problem researchers developed reduction rules to synthetize models. Reduced models maintain original system properties and can be easily analyzed and simulated. A method to automate reduction rules application is proposed on the present research. A Genetic Algorithm heuristic is responsible for applying six reductions rules on Place-Transition Petri Nets given as input. The proposed algorithm, presented as a Matlab toolbox, may contribute when simulating and running property verification methodologies on Petri Net models.
publishDate 2014
dc.date.available.fl_str_mv 2014-10-21
2016-06-02T19:06:15Z
dc.date.issued.fl_str_mv 2014-06-26
dc.date.accessioned.fl_str_mv 2016-06-02T19:06:15Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.citation.fl_str_mv BEVILAQUA, André. Redução automatizada de redes de petri baseada em algoritmos genéticos. 2014. 131 f. Dissertação (Mestrado em Ciências Exatas e da Terra) - Universidade Federal de São Carlos, São Carlos, 2014.
dc.identifier.uri.fl_str_mv https://repositorio.ufscar.br/handle/20.500.14289/576
identifier_str_mv BEVILAQUA, André. Redução automatizada de redes de petri baseada em algoritmos genéticos. 2014. 131 f. Dissertação (Mestrado em Ciências Exatas e da Terra) - Universidade Federal de São Carlos, São Carlos, 2014.
url https://repositorio.ufscar.br/handle/20.500.14289/576
dc.language.iso.fl_str_mv por
language por
dc.relation.confidence.fl_str_mv -1
-1
dc.relation.authority.fl_str_mv 1c64d62e-b035-4758-ae1e-e72824975942
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Federal de São Carlos
dc.publisher.program.fl_str_mv Programa de Pós-Graduação em Ciência da Computação - PPGCC
dc.publisher.initials.fl_str_mv UFSCar
dc.publisher.country.fl_str_mv BR
publisher.none.fl_str_mv Universidade Federal de São Carlos
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSCAR
instname:Universidade Federal de São Carlos (UFSCAR)
instacron:UFSCAR
instname_str Universidade Federal de São Carlos (UFSCAR)
instacron_str UFSCAR
institution UFSCAR
reponame_str Repositório Institucional da UFSCAR
collection Repositório Institucional da UFSCAR
bitstream.url.fl_str_mv https://repositorio.ufscar.br/bitstreams/38beab8e-66fa-420d-a341-50649b200301/download
https://repositorio.ufscar.br/bitstreams/71223220-3e32-43a3-b7a6-e1aa3a7a2e36/download
https://repositorio.ufscar.br/bitstreams/4709d1f3-6c1d-4453-ba4d-dfecf2403848/download
bitstream.checksum.fl_str_mv 852261a244b09c47cc828522a799cc8d
d41d8cd98f00b204e9800998ecf8427e
094fb0c0344ef1a48e6f5cbc9b092b56
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFSCAR - Universidade Federal de São Carlos (UFSCAR)
repository.mail.fl_str_mv repositorio.sibi@ufscar.br
_version_ 1851688847278080000

Registros relacionados