Petri Net Modelling for the Analysis of the Ordering of Actions in Computer Games