Generation of multi-level and multi-user games through modelling in hierarchical coloured Petri nets

Detalhes bibliográficos
Autor(a) principal: Vanessa Viana da Silva Carvalho
Data de Publicação: 2014
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da UFC
Texto Completo: http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=13488
Resumo: This work presents a method to generate games with multilevel and multiple users using Hierarchical Coloured Petri Nets. The design of a multiuser game containing multiple navigation environments (multilevel) is made from the model of a Hierarchical Coloured Petri Net, in which are specified all of the rules, properties and structures of the game. The created model for the game can be formally analysed, verifying the existence of deadlocks and invalid paths, for example, and others possible conception problems, that can be done with the tools available on CPN Tools. To validate this method, a tool has been developed, called CPN Games, which allows fast and dynamic development of simple conception games only using Hierarchical Coloured Petri Nets. The XML codes of the designed models in CPN Tools are interpreted by CPN Games following a set of predefined rules to instantiate different games, without additional programing. It is demonstrated the mechanisms of the design, analysis and validation of the models and finally it is presented several examples of games developed by this tool.
id UFC_ec3f29898b0ed4fd5a13a629cec526a5
oai_identifier_str oai:www.teses.ufc.br:9020
network_acronym_str UFC
network_name_str Biblioteca Digital de Teses e Dissertações da UFC
spelling info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisGeneration of multi-level and multi-user games through modelling in hierarchical coloured Petri netsGeraÃÃo de jogos multinÃveis e com mÃltiplos usuÃrios por meio de modelagem em Redes de Petri coloridas hierÃrquicas2014-12-19Josà Marques Soares82440026700http://lattes.cnpq.br/3186709749685737Giovanni Cordeiro Barroso11749890330lattes.cnpq.br/1218783106447217Danielo GonÃalves Gomes42593751304//lattes.cnpq.br/6303297687237256Windson Viana de Carvalho90319117391http://lattes.cnpq.br/174473299933637502691076300http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4412326P4Vanessa Viana da Silva CarvalhoUniversidade Federal do CearÃPrograma de PÃs-GraduaÃÃo em Engenharia de TeleinformÃticaUFCBRRedes de Petri coloridas hierÃrquicas GeraÃÃo automÃtica de jogos Jogos de concepÃÃo simpleshierarchical coloured petri nets formal modelling automatic game generation electronic games simple conception games cpn toolsLINGUAGEM FORMAIS E AUTOMATOSThis work presents a method to generate games with multilevel and multiple users using Hierarchical Coloured Petri Nets. The design of a multiuser game containing multiple navigation environments (multilevel) is made from the model of a Hierarchical Coloured Petri Net, in which are specified all of the rules, properties and structures of the game. The created model for the game can be formally analysed, verifying the existence of deadlocks and invalid paths, for example, and others possible conception problems, that can be done with the tools available on CPN Tools. To validate this method, a tool has been developed, called CPN Games, which allows fast and dynamic development of simple conception games only using Hierarchical Coloured Petri Nets. The XML codes of the designed models in CPN Tools are interpreted by CPN Games following a set of predefined rules to instantiate different games, without additional programing. It is demonstrated the mechanisms of the design, analysis and validation of the models and finally it is presented several examples of games developed by this tool.Este trabalho apresenta um mÃtodo para geraÃÃo de jogos multinÃveis e com mÃltiplos usuÃrios por meio de modelagem em Redes de Petri Coloridas HierÃrquicas. A concepÃÃo de um jogo multiusuÃrio, contendo mÃltiplos ambientes de navegaÃÃo (multinÃveis), à feita a partir da criaÃÃo de um modelo hierÃrquico em Rede de Petri Colorida, no qual se especificam todas as regras, propriedades e estruturas do jogo. O modelo criado para o jogo pode ser analisado formalmente, verificando-se, por exemplo, a existÃncia de bloqueios e de transiÃÃes mortas (caminhos invÃlidos), entre outros possÃveis problemas de concepÃÃo, o que pode ser feito com a utilizaÃÃo de ferramentas disponÃveis no CPN Tools. Para validar esse mÃtodo, foi concebida uma ferramenta, denominada CPN Games, que permite o desenvolvimento rÃpido e dinÃmico de jogos de concepÃÃo simples exclusivamente por Rede de Petri Colorida HierÃrquica. Os cÃdigos em XML de modelos constituÃdos com o CPN Tools sÃo interpretadas pelo CPN Games seguindo um conjunto de regras prà estabelecidas para instanciar diferentes jogos, sem a necessidade de programaÃÃo adicional. SÃo demonstrados os mecanismos de criaÃÃo, anÃlise e validaÃÃo dos modelos e diferentes exemplos de jogos construÃdos com a ferramenta.CoordenaÃÃo de AperfeÃoamento de Pessoal de NÃvel Superior http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=13488application/pdfinfo:eu-repo/semantics/openAccessporreponame:Biblioteca Digital de Teses e Dissertações da UFCinstname:Universidade Federal do Cearáinstacron:UFC2019-01-21T11:26:45Zmail@mail.com -
dc.title.en.fl_str_mv Generation of multi-level and multi-user games through modelling in hierarchical coloured Petri nets
dc.title.alternative.pt.fl_str_mv GeraÃÃo de jogos multinÃveis e com mÃltiplos usuÃrios por meio de modelagem em Redes de Petri coloridas hierÃrquicas
title Generation of multi-level and multi-user games through modelling in hierarchical coloured Petri nets
spellingShingle Generation of multi-level and multi-user games through modelling in hierarchical coloured Petri nets
Vanessa Viana da Silva Carvalho
Redes de Petri coloridas hierÃrquicas
GeraÃÃo automÃtica de jogos
Jogos de concepÃÃo simples
hierarchical coloured petri nets
formal modelling
automatic game generation
electronic games
simple conception games
cpn tools
LINGUAGEM FORMAIS E AUTOMATOS
title_short Generation of multi-level and multi-user games through modelling in hierarchical coloured Petri nets
title_full Generation of multi-level and multi-user games through modelling in hierarchical coloured Petri nets
title_fullStr Generation of multi-level and multi-user games through modelling in hierarchical coloured Petri nets
title_full_unstemmed Generation of multi-level and multi-user games through modelling in hierarchical coloured Petri nets
title_sort Generation of multi-level and multi-user games through modelling in hierarchical coloured Petri nets
author Vanessa Viana da Silva Carvalho
author_facet Vanessa Viana da Silva Carvalho
author_role author
dc.contributor.advisor1.fl_str_mv Josà Marques Soares
dc.contributor.advisor1ID.fl_str_mv 82440026700
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/3186709749685737
dc.contributor.referee1.fl_str_mv Giovanni Cordeiro Barroso
dc.contributor.referee1ID.fl_str_mv 11749890330
dc.contributor.referee1Lattes.fl_str_mv lattes.cnpq.br/1218783106447217
dc.contributor.referee2.fl_str_mv Danielo GonÃalves Gomes
dc.contributor.referee2ID.fl_str_mv 42593751304
dc.contributor.referee2Lattes.fl_str_mv //lattes.cnpq.br/6303297687237256
dc.contributor.referee3.fl_str_mv Windson Viana de Carvalho
dc.contributor.referee3ID.fl_str_mv 90319117391
dc.contributor.referee3Lattes.fl_str_mv http://lattes.cnpq.br/1744732999336375
dc.contributor.authorID.fl_str_mv 02691076300
dc.contributor.authorLattes.fl_str_mv http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4412326P4
dc.contributor.author.fl_str_mv Vanessa Viana da Silva Carvalho
contributor_str_mv Josà Marques Soares
Giovanni Cordeiro Barroso
Danielo GonÃalves Gomes
Windson Viana de Carvalho
dc.subject.por.fl_str_mv Redes de Petri coloridas hierÃrquicas
GeraÃÃo automÃtica de jogos
Jogos de concepÃÃo simples
topic Redes de Petri coloridas hierÃrquicas
GeraÃÃo automÃtica de jogos
Jogos de concepÃÃo simples
hierarchical coloured petri nets
formal modelling
automatic game generation
electronic games
simple conception games
cpn tools
LINGUAGEM FORMAIS E AUTOMATOS
dc.subject.eng.fl_str_mv hierarchical coloured petri nets
formal modelling
automatic game generation
electronic games
simple conception games
cpn tools
dc.subject.cnpq.fl_str_mv LINGUAGEM FORMAIS E AUTOMATOS
dc.description.sponsorship.fl_txt_mv CoordenaÃÃo de AperfeÃoamento de Pessoal de NÃvel Superior
dc.description.abstract.por.fl_txt_mv This work presents a method to generate games with multilevel and multiple users using Hierarchical Coloured Petri Nets. The design of a multiuser game containing multiple navigation environments (multilevel) is made from the model of a Hierarchical Coloured Petri Net, in which are specified all of the rules, properties and structures of the game. The created model for the game can be formally analysed, verifying the existence of deadlocks and invalid paths, for example, and others possible conception problems, that can be done with the tools available on CPN Tools. To validate this method, a tool has been developed, called CPN Games, which allows fast and dynamic development of simple conception games only using Hierarchical Coloured Petri Nets. The XML codes of the designed models in CPN Tools are interpreted by CPN Games following a set of predefined rules to instantiate different games, without additional programing. It is demonstrated the mechanisms of the design, analysis and validation of the models and finally it is presented several examples of games developed by this tool.
Este trabalho apresenta um mÃtodo para geraÃÃo de jogos multinÃveis e com mÃltiplos usuÃrios por meio de modelagem em Redes de Petri Coloridas HierÃrquicas. A concepÃÃo de um jogo multiusuÃrio, contendo mÃltiplos ambientes de navegaÃÃo (multinÃveis), à feita a partir da criaÃÃo de um modelo hierÃrquico em Rede de Petri Colorida, no qual se especificam todas as regras, propriedades e estruturas do jogo. O modelo criado para o jogo pode ser analisado formalmente, verificando-se, por exemplo, a existÃncia de bloqueios e de transiÃÃes mortas (caminhos invÃlidos), entre outros possÃveis problemas de concepÃÃo, o que pode ser feito com a utilizaÃÃo de ferramentas disponÃveis no CPN Tools. Para validar esse mÃtodo, foi concebida uma ferramenta, denominada CPN Games, que permite o desenvolvimento rÃpido e dinÃmico de jogos de concepÃÃo simples exclusivamente por Rede de Petri Colorida HierÃrquica. Os cÃdigos em XML de modelos constituÃdos com o CPN Tools sÃo interpretadas pelo CPN Games seguindo um conjunto de regras prà estabelecidas para instanciar diferentes jogos, sem a necessidade de programaÃÃo adicional. SÃo demonstrados os mecanismos de criaÃÃo, anÃlise e validaÃÃo dos modelos e diferentes exemplos de jogos construÃdos com a ferramenta.
description This work presents a method to generate games with multilevel and multiple users using Hierarchical Coloured Petri Nets. The design of a multiuser game containing multiple navigation environments (multilevel) is made from the model of a Hierarchical Coloured Petri Net, in which are specified all of the rules, properties and structures of the game. The created model for the game can be formally analysed, verifying the existence of deadlocks and invalid paths, for example, and others possible conception problems, that can be done with the tools available on CPN Tools. To validate this method, a tool has been developed, called CPN Games, which allows fast and dynamic development of simple conception games only using Hierarchical Coloured Petri Nets. The XML codes of the designed models in CPN Tools are interpreted by CPN Games following a set of predefined rules to instantiate different games, without additional programing. It is demonstrated the mechanisms of the design, analysis and validation of the models and finally it is presented several examples of games developed by this tool.
publishDate 2014
dc.date.issued.fl_str_mv 2014-12-19
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
status_str publishedVersion
format masterThesis
dc.identifier.uri.fl_str_mv http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=13488
url http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=13488
dc.language.iso.fl_str_mv por
language por
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 do CearÃ
dc.publisher.program.fl_str_mv Programa de PÃs-GraduaÃÃo em Engenharia de TeleinformÃtica
dc.publisher.initials.fl_str_mv UFC
dc.publisher.country.fl_str_mv BR
publisher.none.fl_str_mv Universidade Federal do CearÃ
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFC
instname:Universidade Federal do Ceará
instacron:UFC
reponame_str Biblioteca Digital de Teses e Dissertações da UFC
collection Biblioteca Digital de Teses e Dissertações da UFC
instname_str Universidade Federal do Ceará
instacron_str UFC
institution UFC
repository.name.fl_str_mv -
repository.mail.fl_str_mv mail@mail.com
_version_ 1643295199752880128

Registros relacionados