Liliana Vega, Stefan M. Grünvogel, Stéphane Natkin
A new Methodology for Spatiotemporal Game Design
Abstract: We propose a new formal approach for the design process of computer games, which involves the modeling of spatiotemporal relationships. Logical and temporal transactions are modeled using Petri Nets and topological relationships of the game universe by hypergraphs. For splicing these structures, we introduce connections which relate hyperedge replacement with the reachability tree of the Petri Net. By using these constructs flexible changes and the validation of certain properties of the missions can be accomplished.