The Multi-agent Prey/Predator problem: A Petri net solution

1 CoOperative Objects are a Concurrent Object-Oriented Language using Petri Nets to define the concurrency inside each Object and between Objects. This paper shows how this language may be used with benefits to model Multi-Agent Systems, using as an example the well-known Prey/ Predators game. I. Introduction The most of the time the agent theory is expressed by Modal Logic that is a good specification tool since it eases the description of intentional agents. However, this formalism cannot be easily refined into implementation even if some counter-examples exist (see [Wooldridge 94] for example). This paper proposes another type of formalism based on Petri-Nets and Objects. This formalism, called CoOperative Objects [Sibertin 95] (COO for short), belongs to the class of Concurrent ObjectOriented Languages but it can also be used with benefits to both specify and implement autonomous and concurrent agents. Actually, in one hand COO can be considered as a specification language since ..