Modeling Games with Petri Nets

This paper describes an alternate approach to the modeling of game systems and game flow with Petri nets. Modeling languages usually used in this area are of limited efficiency when it comes to validating the underlying game systems. We provide a case study to show that Petri Nets can be used with advantages over other modeling languages. Their graphical notation is simple, yet it can be used to model complex game systems. Their mathematically defined structure enables the modeled system to be formally analyzed and its behavior’s simulation offers the possibility of detecting unwanted behaviors, loop-holes or balancing issues while still in the game design stage.

[1]  MengChu Zhou,et al.  Introduction to Petri Nets in Flexible and Agile Automation , 1995 .

[2]  Demissie B. Aredo,et al.  A Framework for Semantics of UML Sequence Diagrams in PVS , 2002, J. Univers. Comput. Sci..

[3]  Lars Michael Kristensen,et al.  Design/CPN - A Computer Tool for Coloured Petri Nets , 1997, TACAS.

[4]  Marcin Szlenk.  Formal Semantics and Reasoning about UML Class Diagram , 2006, 2006 International Conference on Dependability of Computer Systems.

[5]  Cyril Brom,et al.  Story Manager in 'Europe 2045' Uses Petri Nets , 2007, International Conference on Virtual Storytelling.

[6]  Chris Crawford,et al.  The Art of Computer Game Design , 1984 .

[7]  Katie Salen,et al.  Rules of play: game design fundamentals , 2003 .

[8]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[9]  Ian Horrocks,et al.  Constructing the User Interface with Statecharts , 1999 .

[10]  Cyril Brom,et al.  Petri Nets for Game Plot , 2006 .

[11]  Siegfried Wendt.  Modified Petri nets as flowcharts for recursive programs , 1980, Softw. Pract. Exp..

[12]  Martin Gogolla.  Unified Modeling Language , 2009, Encyclopedia of Database Systems.

[13]  Alexander Förster,et al.  On the Pitfalls of UML 2 Activity Modeling , 2007, International Workshop on Modeling in Software Engineering (MISE'07: ICSE Workshop 2007).

[14]  Jiexin Lian,et al.  Simulation-based analysis of UML statechart diagrams: methods and case studies , 2007, Software Quality Journal.

[15]  Ernest Adams,et al.  Andrew Rollings and Ernest Adams on Game Design , 2003 .

[16]  Erik Bethke,et al.  Game development and production , 2003 .

[17]  John Scott Lewinski,et al.  Developer's guide to computer game design , 1999 .

[18]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[19]  Chris Crawford.  The Art of Interactive Design: A Euphonious and Illuminating Guide to Building Successful Software , 2002 .

[20]  Cyril Brom,et al.  Hierarchical Petri Nets for Story Plots Featuring Virtual Humans , 2008, AIIDE.