Barreto, F. M. and Julia, S. (2021) “Formal Approach Based on Petri Nets for Modeling and Verification of Video Games”, Computing and Informatics, 40(1), pp. 216–248. doi: 10.31577/cai_2021_1_216.