Asynchronous Multi-Agent Systems with Petri nets

Open in new window