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