University Of Tehran Press Journal of Algorithms and Computation 2476-2776 57 2 2025 12 01 Modeling of the Wumpus World to Evaluate the Difficulty Level of the Game using Coloured Petri Net 66 79 106206 10.22059/jac.2025.403785.1241 EN Ali Naghash Asadi Fouman Faculty of Engineering, College of Engineering, University of Tehran, Tehran, Iran 0000-0003-2295-2347 Mahrou Pourjani Fouman Faculty of Engineering, College of Engineering, University of Tehran, Tehran, Iran Ali Mirsaeed Ghazi Fouman Faculty of Engineering, College of Engineering, University of Tehran, Tehran, Iran Journal Article 2025 10 06 The video game industry (VGI) faces significant challenges in today’s world. Game designers continually strive to create innovative scenarios that engage players and enhance their motivation to play. However, developing such scenarios is a complex task, and evaluating their difficulty during the design phase is equally challenging. In this paper, we focus on the Wumpus World game and propose a model for it using Coloured Petri Nets (CPNs). The proposed model enables designers to simulate various game scenarios and assess their difficulty levels without modifying the underlying structure by simply changing the tokens of the model. Since in most games, players need to switch between. Since, in most games, players must transition between different states to achieve their objectives, the mapping approach introduced here can also be applied to model and simulate other games. https://jac.ut.ac.ir/article_106206_78b3057f3db5fd8c282702d46f805d84.pdf