Franciny M. Barreto
ABSTRACT
In this paper, an approach based on Petri nets for the design process of video games is presented. A WorkFlow net is used to represent the activities the player will perform in a video game. The main areas of the virtual world that the player will encounter during the game are modeled through of a kind of Petri net named State Graph. A formal communication mechanisms that shows the interactions that exist between the activity model and the topological map is presented by a Colored Petri Net model. The simulation software CPN Tools is used to perform state space analysis. A kind of soundness property related to gameplay in video games can thus be verified. The video game Dream:Scape is used to explain and illustrate the proposed approach.
- Manuel Araújo and Licínio Roque. 2009. Modeling games with petri nets. Breaking New Ground: Innovation in Games, Play, Practice and Theory. DIGRA2009. Londres, Royaume Uni (2009).Google Scholar
- Franciny M. Barreto and Stéphane Julia. 2014. Modeling and Analysis of Video Games Based on Workflow Nets and State Graphs. In Proceedings of 24th Annual International Conference on Computer Science and Software Engineering (CASCON '14). IBM Corp., Riverton, NJ, USA, 106--119. http://dl.acm.org/citation.cfm?id=2735522.2735535 Google ScholarDigital Library
- Guilherme Willian de Oliveira, Stéphane Julia, and Ligia Maria Soares Passos. 2011. Game modeling using WorkFlow nets.. In SMC. IEEE, 838--843. http: //dblp.uni-trier.de/db/conf/smc/smc2011.html#OliveiraJP11Google ScholarCross Ref
- Vijay Gehlot and Carmen Nigro. 2010. An introduction to systems modeling and simulation with Colored Petri Nets.. In Winter Simulation Conference. WSC, 104--118. Google ScholarDigital Library
- Kurt Jensen. 1998. An introduction to the practical use of coloured petri nets. In Lectures on Petri Nets II: Applications. Springer, 237--292. Google ScholarDigital Library
- Kurt Jensen and Lars Michael Kristensen. 2009. Coloured Petri Nets. Springer.Google Scholar
- Hisham M. Kanode, Christopher M. e Haddad. 2009. Software Engineering Challenges in Game Development.. In ITNG (2010-06-02), Shahram Latifi (Ed.). IEEE Computer Society, 260--265. Google ScholarDigital Library
- R. Milner, R. Harper, and M. Tofte. 1990. The Definition of Standard ML. MIT Press. Google ScholarDigital Library
- T. Murata. 1989. Petri Nets: Properties, Analysis and Applications. Proc. IEEE 77, 4 (April 1989), 541--580.Google Scholar
- Stéphane Natkin, Liliana Vega, and S Grünvogel. 2004. A new methodology for spatiotemporal game design. In Mehdi, Q. and Gough, N., (Eds.). Proceedings of CGAIDE 2004, 5th Game-On International Conference on Computer Games: Artificial Intelligence, Design and Education. 109--113.Google Scholar
- David René and Alla Hassane. 2010. Discrete, continuous, and hybrid Petri Nets. (2010). http://www.amazon.com/Discrete-Continuous-Hybrid-Petri-Nets/dp/3642106684/ref=dp_ob_image_bk Google ScholarDigital Library
- Emanuel Montero Reyno and José Á. Carsí Cubel. 2009. Automatic prototyping in model-driven game development. Computers in Entertainment 7, 2 (2009). http://dblp.uni-trier.de/db/journals/cie/cie7.html#ReynoC09 Google ScholarDigital Library
- Speedbump. 2012. Dream:scape, electronic game, developed by Speedbump and published by iTunes. (2012).Google Scholar
- Wil Van Der Aalst and Kees Max Van Hee. 2004. Workflow management: models, methods, and systems. MIT press. Google ScholarDigital Library
- Wil MP van der Aalst. 1998. The application of Petri nets to workflow management. Journal of circuits, systems, and computers 8, 01 (1998), 21--66.Google ScholarCross Ref
- Wil M.P. van der Aalst and Arthur H.M. ter Hofstede. 2000. Verification Of Workflow Task Structures: A Petri-net-baset Approach. Information Systems 25, 1 (2000), 43--69. Google ScholarDigital Library
Index Terms
- Modeling of Video Games Using Workflow Nets and State Graphs
Recommendations
Modeling and analysis of video games based on workflow nets and state graphs
CASCON '14: Proceedings of 24th Annual International Conference on Computer Science and Software EngineeringIn this paper, an approach based on Petri nets is proposed for aiding in the design process of video games. The activities the player will perform in a video game are represented by WorkFlow nets (Petri nets representing workflow processes). The main ...
Soundness of Workflow Nets with Reset Arcs
Transactions on Petri Nets and Other Models of Concurrency IIIPetri nets are often used to model and analyze workflows. Many workflow languages have been mapped onto Petri nets in order to provide formal semantics or to verify correctness properties. Typically, the so-called Workflow nets are used to model and ...
An analytical method for well-formed workflow/Petri net verification of classical soundness
Abstract In this paper we consider workflow nets as dynamical systems governed by ordinary difference equations described by a particular class of Petri nets. Workflow nets are a formal model of business processes. Well-formed business processes ...
Comments