F. M. Barreto and S. Julia, “Formal Approach Based on Petri Nets for Modeling and Verification of Video Games”, Comput. Inform., vol. 40, no. 1, pp. 216–248, Aug. 2021.