Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets. - Federica Adobbati; Luca Bernardinello; Lucia Pomello; Riccardo Stramare (Trans. Petri Nets Other Model. Concurr., 2023)