How can Petri nets model asynchronous multi-agent systems?
Asynchronous Multi-Agent Systems with Petri nets
This paper explores modeling asynchronous multi-agent systems using Petri nets, offering two approaches: synchronization on transitions (shared actions) and synchronization on data (read-only access to other agents' states). It provides methods to translate between these two representations and demonstrates how Petri nets can offer a more compact representation than transition systems, especially when dealing with multiple agents sharing the same actions. This is particularly relevant to LLM-based multi-agent systems where agents might collaborate on similar tasks or communicate using shared vocabulary, leading to a more manageable and efficient system representation. The ability to switch between transition-based and data-based synchronization offers flexibility for different design and implementation needs in complex LLM-based multi-agent applications.