Return to Article Details Formal Approach Based on Petri Nets for Modeling and Verification of Video Games Download Download PDF