Asynchronous games on Petri nets and ATL.
Federica AdobbatiLuca BernardinelloLucia PomelloPublished in: CoRR (2021)
Keyphrases
- petri net
- state machines
- reactive systems
- multi agent systems
- discrete event systems
- imperfect information
- manufacturing systems
- alternating time temporal logic
- petri net model
- computer games
- fuzzy petri net
- temporal logic
- colored petri nets
- service composition
- game theory
- game playing
- model checking
- concurrent systems
- discrete dynamical systems
- video games
- sequence diagrams
- nash equilibrium
- stochastic petri net
- programmable logic controller