Specification
AS-2
CA-2
DR-2
DR-3
DR-4
PL-1
PL-2
PL-3
PL-4
PL-5
Flows:
Reload Petri game
Options:
Run ADAM
initial marking:
environment places:
winning condition:
safety
reachability
Büchi
simulation length:
True concurrency
memory bound:
Output
Winning Strategy
Petri game
Console