文摘
Computer games are both software and gameplay, including maps, levels and puzzles. Actual techniques for testing software are not valid for gameplay or level changes. Timed Petri net can be used for automated beta testing after those level changes.