ABSTRACT
A Petri net is an abstract, formal model of information flow in systems, particularly in those in which events can occur concurrently and where some form of synchronization or ordering is required. This chapter talks about Petri nets and how they can be used for arbitration in multiagent scenarios. Petri nets are a graphical and mathematical modeling language used to describe how information flows in a distributed system. They were developed by Carl Adam Petri in 1962. A Petri net is a graph built using two different types of nodes: places and transitions. Arcs can be labeled with the number of tokens a transition requires in a particular input place before it can be enabled. The chapter discusses how one can use Petri nets to coordinate multiple characters in a setup where they must utilize a finite number of non-shareable resources to accomplish their goal.
