3D Video Game Simulation Based on Colored Petri Net and SIMIO

Creating video games is not a trivial task, specially due to the combination of technical and artistic processes that are compiled into one piece of entertainment. Creating diagrams and charts to specify the requirements of a video game still a great approach. However, it is not everyone on the development team who knows how to read these diagrams properly. Therefore, the underlying proposal of this work is to present a 3D simulation model based on colored Petri nets using the software SIMIO. With this tool, it is possible to track every decision made by the player graphically, and a timed base simulation comparison between the Petri net model and the 3D model is possible too. The formal colored Petri net model is then considered for formal verification and quantitative analysis, and the 3D SIMIO Simulation model is used to better understand the gameplay requirements. The video game Silent Hill II is considered to illustrate the modeling approach.