TY  - RPRT
TI  - Asynchronous games on Petri nets and ATL
AU  - Federica Adobbati
AU  - Luca Bernardinello
AU  - Lucia Pomello
PY  - 2021
UR  - https://arxiv.org/abs/2107.06866
ID  - 2107.06866
ER  -