Within the scope of this thesis, a real-time user interaction game has been developed in which game dynamics are defined on Petri Nets. Time-Augmented and Stochastic Petri Nets has been used in the development of the game. ...