Open AccessUma Tradução de Redes de Petri Fuzzy Generalizadas para Gramáticas de Grafos com Atributos
Author(s) -
Júlia Krüger Vieira,
Luciana Foss,
Simone André da Costa Cavalheiro
Publication year - 2021
Language(s) - Portuguese
Resource type - Conference proceedings
DOI - 10.5753/weit.2021.18939
Subject(s) - humanities , physics , computer science , philosophy
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.