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.
| Identifer | oai:union.ndltd.org:IBICT/oai:www.repositorio.ufc.br:riufc/10864 |
| Date | 19 December 2014 |
| Creators | Carvalho, Vanessa Viana da Silva |
| Contributors | Soares , José Marques |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Source | reponame:Repositório Institucional da UFC, instname:Universidade Federal do Ceará, instacron:UFC |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0022 seconds