Formal Approach Based on Petri Nets for Modeling and Verification of Video Games.
Franciny Medeiros BarretoStéphane JuliaPublished in: Comput. Informatics (2021)
Keyphrases
- petri net
- colored petri nets
- video games
- petri net model
- stochastic petri net
- concurrent systems
- service composition
- discrete event systems
- game play
- reactive systems
- manufacturing systems
- game playing
- computer games
- authoring tool
- learning experience
- state machines
- game design
- web services
- serious games
- sequence diagrams
- multimedia
- asynchronous circuits
- mathematics learning
- educational games
- programmable logic controller