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

• Ano de defesa: 2014
• Autor(a) principal: Bevilaqua, André
• Orientador(a): Kato, Edilson Reis Rodrigues
• 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
• 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

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.