Uma Tradução de Redes de Petri Fuzzy Generalizadas para Gramáticas de Grafos com Atributos
Resumo
Neste artigo é apresentado um método para traduzir uma Rede de Petri Fuzzy Generalizada para uma Gramática de Grafos com Atributos. Com esta tradução visa-se obter um modelo genérico para especificar sistemas fuzzy o qual disponibiliza ferramentas computacionais que permitem realizar verificações de propriedades e provas de teoremas.
Palavras-chave:
Redes de Petri Fuzzy Generalizadas, Gramática de Grafos com Atributos
Referências
Cavalheiro, S. A. C. (2010). Relational approach of graph grammars. Master’s thesis, Instituto de Informática, Universidade Federal do Rio Grande do Sul, Porto Alegre.
Cavalheiro, S. A. d. C., Foss, L., and Ribeiro, L. (2017). Theorem proving graph grammars with attributes and negative application conditions. Theoretical Computer Science, 686:25–77.
Chen, S.-M., Ke, J.-S., and Chang, J.-F. (1990). Knowledge representation using fuzzy petri nets. IEEE Transactions on Knowledge and Data Engineering, 2(3):311–319.
GMBH, I. (2008). Cookbook pace 2008. Accessed in 10 of january of 2020. Jafelice, R. S. d. M. et al. (2005). Notas em matemática aplicada 17. Sociedade Brasileira de Matemática Aplicada e Computacional, São Carlos/SP.
Reddy, P. V. S. (2017). Fuzzy logic based on belief and disbelief membership functions. Fuzzy Information and Engineering, 9(4):405–422.
Suraj, Z. (2012). Generalised fuzzy petri nets for approximate reasoning in decision support systems. In CS&P, pages 370–381.
Suraj, Z. (2018). Pnes: Tools for the design and analysis petri nets. In 2018 5th International Conference on Control, Decision and Information Technologies (CoDIT), pages 391–396.
Vieira, J. K. (2021). Uma tradução de redes de petri fuzzy generalizadas para gramáticas de grafos com atributos. Dissertação (mestrado em ciência da computação), Universidade Federal de Pelotas.
Cavalheiro, S. A. d. C., Foss, L., and Ribeiro, L. (2017). Theorem proving graph grammars with attributes and negative application conditions. Theoretical Computer Science, 686:25–77.
Chen, S.-M., Ke, J.-S., and Chang, J.-F. (1990). Knowledge representation using fuzzy petri nets. IEEE Transactions on Knowledge and Data Engineering, 2(3):311–319.
GMBH, I. (2008). Cookbook pace 2008. Accessed in 10 of january of 2020. Jafelice, R. S. d. M. et al. (2005). Notas em matemática aplicada 17. Sociedade Brasileira de Matemática Aplicada e Computacional, São Carlos/SP.
Reddy, P. V. S. (2017). Fuzzy logic based on belief and disbelief membership functions. Fuzzy Information and Engineering, 9(4):405–422.
Suraj, Z. (2012). Generalised fuzzy petri nets for approximate reasoning in decision support systems. In CS&P, pages 370–381.
Suraj, Z. (2018). Pnes: Tools for the design and analysis petri nets. In 2018 5th International Conference on Control, Decision and Information Technologies (CoDIT), pages 391–396.
Vieira, J. K. (2021). Uma tradução de redes de petri fuzzy generalizadas para gramáticas de grafos com atributos. Dissertação (mestrado em ciência da computação), Universidade Federal de Pelotas.
Publicado
17/11/2021
Como Citar
VIEIRA, Júlia Krüger; FOSS, Luciana; CAVALHEIRO, Simone André da Costa.
Uma Tradução de Redes de Petri Fuzzy Generalizadas para Gramáticas de Grafos com Atributos. In: WORKSHOP-ESCOLA DE INFORMÁTICA TEÓRICA (WEIT), 6. , 2021, Online.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2021
.
p. 179-186.
DOI: https://doi.org/10.5753/weit.2021.18939.
