Criação de Jogos Didáticos de Perguntas e Respostas por meio de Modelagem em Redes de Petri Coloridas Hierárquicas

Abstract

Este trabalho apresenta um m´método para a criação de jogos de perguntas e respostas exclusivamente por meio de modelagem em de Redes de Petri Colorias Hierárquicas. As regras, propriedades e estruturas do jogo são especificadas na modelagem e automaticamente instanciadas a partir da interpretação do modelo. O modelo criado pode ser analisado formalmente e todas as inconsistências e erros podem ser identificados. Para validar o método, é apresentada a ferramenta CPN Quiz e um exemplo didático de um jogo de perguntas e respostas criado por essa ferramenta.