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 (Aug. 2021), 216–248. DOI:https://doi.org/10.31577/cai_2021_1_216.