Extended cooperating automata

Cooperating automata is a model which represents the coordination of agents in distributed systems using three basic elements: states, actions and groups of agents. A system can be viewed as a high-level Petri net in which tokens are active elements consisting of an automation together with a private memory. In this paper we introduce a brief presentation of the model, showing that it is powerful enough to represent other formalisms of distributed agents, e.g. the team automata of C.A. Ellis. Finally, we extend the model of cooperating automata in order to allow the idea of agent geographical location, by introducing the concept of integer attribute.