Barreto, F. M.; Julia, S. Formal Approach Based on Petri Nets for Modeling and Verification of Video Games. Comput. Inform. 2021, 40, 216–248.