¹University of Oum El-Bouaghi, Algeria
²MISC Laboratory, University Mentouri Constantine, Algeria
³Lip6 Laboratory, University of Paris 6, Paris, France

---

Abstract—This paper proposes a formal model for specifying multi agent systems, named SyPN (for Synchronized Petri Net). This model allows the specification of various kinds of agent-based systems’ behaviors, such as individual and collective behaviors. SyPN is an extension of Recursive Petri net allowing synchronization of several nets. In fact, SyPN borrows the specification of dynamic processes from Recursive Petri net and introduces several valuable concepts that enable concise multi agent system specifications, such as: typed places, transitions and tokens, synchronization points, synchronization condition, synchronization relation and binding function. We illustrate our approach by two case studies of remote interactions between agents.

Index Terms—Multi-agent systems, formal specification, recursive petri nets, abstraction, synchronization.

[PDF]

Cite: Sofia Kouah, Djamel Eddine Saïdouni, Jean Michel Ilié, "Synchronized Petri Net: A Formal Specification Model for Multi Agent Systems," Journal of Software vol. 8, no. 3, pp. 587-602, 2013.