An asynchronous game on distributed petri nets