Barreto, Franciny M., and Stéphane Julia. “Formal Approach Based on Petri Nets for Modeling and Verification of Video Games”. Computing and Informatics, vol. 40, no. 1, Aug. 2021, pp. 216–248, doi:10.31577/cai_2021_1_216.