Barreto, Franciny M., and Stéphane Julia. 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.