Return to search

Geração de jogos multiníveis e com múltiplos usuários por meio de modelagem em Redes de Petri coloridas hierárquicas / Generation of multi-level and multi-user games through modelling in hierarchical coloured Petri nets

CARVALHO. V. V. S. Geração de jogos multiníveis e com múltiplos usuários por meio de modelagem em Redes de Petri coloridas hierárquicas. 2014. 85 f. Dissertação (Mestrado em Engenharia de Teleinformática) - Centro de Tecnologia, Universidade Federal do Ceará, Fortaleza, 2014. / Submitted by Marlene Sousa (mmarlene@ufc.br) on 2015-03-02T16:29:31Z
No. of bitstreams: 1
2014_dis_wvscarvalho.pdf: 7949225 bytes, checksum: e4c256bf8e905b725cc0b9c310e89167 (MD5) / Approved for entry into archive by Marlene Sousa(mmarlene@ufc.br) on 2015-03-05T17:53:42Z (GMT) No. of bitstreams: 1
2014_dis_wvscarvalho.pdf: 7949225 bytes, checksum: e4c256bf8e905b725cc0b9c310e89167 (MD5) / Made available in DSpace on 2015-03-05T17:53:42Z (GMT). No. of bitstreams: 1
2014_dis_wvscarvalho.pdf: 7949225 bytes, checksum: e4c256bf8e905b725cc0b9c310e89167 (MD5)
Previous issue date: 2014-12-19 / 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.

Identiferoai:union.ndltd.org:IBICT/oai:www.repositorio.ufc.br:riufc/10864
Date19 December 2014
CreatorsCarvalho, Vanessa Viana da Silva
ContributorsSoares , José Marques
Source SetsIBICT Brazilian ETDs
LanguagePortuguese
Detected LanguagePortuguese
Typeinfo:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis
Sourcereponame:Repositório Institucional da UFC, instname:Universidade Federal do Ceará, instacron:UFC
Rightsinfo:eu-repo/semantics/openAccess

Page generated in 0.0021 seconds