Behavioral Modeling of Multi Agent System

International Journal of Advanced Computer Science and Applications, 2013

this paper deals with the modeling of interaction between agents in Multi Agents System (MAS) based on Agent Petri Nets (APN). Our models are created based on communicating agents. Indeed, an agent initiating a conversation with other can specify the interaction protocol wishes to follow. The combination of APN and FIPA Protocols schemes leads to a set of deployment formal rules for points where model interaction can be successfully implemented. We introduce some models FIPA standard protocols.

International Journal of Computer Applications, 2012

In this work, we propose a new formal tool called CGPN (Conceptual Graph Petri Nets) which is a combination of CG (Conceptual Graph) and CPN (Color Petri Net) to model collaborative behavior of agents in a MAS(Multi Agent System) to achieve some goals. The CG is used to represent knowledge and on the other side CPN is used to model the concurrent and dynamic aspects of a system. It is difficult to extract precise information from MAS which is dynamic in nature. Modeling MAS with CGPN will help in representing the knowledge and dynamic behavior together. Finally, the CGPN model for MAS is tested for deadlock freedom and reachability analysis to verify its correctness.

Proc. of 2nd International …, 2004

In a multi-agent system (MAS), agent interactions are established through exchanging messages following interaction protocols. Most current agent interaction protocols are hard-coded within agents during the agent designing, and this feature greatly reduces the flexibility of the agent interactions. In this paper, we present a Colored Petri Nets (CPNs) based approach to form flexible interaction protocols between agents. Through this approach, agents can analyse a protocol and check whether the protocol is "understandable" and advantageous to the objectives of agents.

2002

Abstract In this paper we present a Colored Petri Net (CPN) for a multi-agent application. In particular we modeled the Packet-World. In our research we use the packet-world as a case to study the fundamentals of agents' social behavior. Our approach is to combine experiments with conceptual modeling. We start from a very basic model and then add social skills in a modular way. Integrating new social skills by means of adding new modules offers us a clear conceptual view on the evolution of agents and the environment.

2011

The Department of Information Science is one of six departments that make up the Division of Commerce at the University of Otago. The department offers courses of study leading to a major in Information Science within the BCom, BA and BSc degrees. In addition to undergraduate teaching, the department is also strongly involved in postgraduate programmes leading to the MBA, MCom and PhD degrees. Research projects in software engineering and software development, information engineering and database, artificial intelligence/expert systems, geographic information systems, advanced information systems management and data communications are particularly well supported at present.

Software Engineering and Knowledge Engineering, 2001

Cooperative Information Systems (CIS) become relevant to integrate different kinds of systems so as to work collaboratively for a common goal. CIS are considered by nature as dynamic systems, and one of the most difficult problems related to the dynamic of the system is how to model and control simultaneously multiple interactions among agents in a friendly way. Consequently, expressiveness becomes a problem related to the representation so far, the similar systems cope neither with the problem of expressiveness nor with multiple interactions in a satisfactory way. We propose in this paper, an integrated methodology based on Coloured Petri Nets (CPN) in order to model the interaction mechanism in a CIS and reduce the associated complexity in the representation of the dynamic of the system. This methodology provides us great advantages in the representation and reasoning for the interaction mechanism modeled in CIS. The methodology integrates mainly: a) the action basic loop in order to represent the system interactions and to model organization conversations, b) the CPN in the interaction design and system simulation, c) the communicative acts of FIPA (Foundation for Intelligent Physical Agents), including in the Agent Communication Language Specification.

International Journal of Software Engineering and Knowledge Engineering, 2002

Cooperative Information Systems (CIS) become relevant to integrate different kinds of systems so as to work collaboratively for a common goal. CIS are considered by nature as dynamic systems, and one of the most difficult problems related to the dynamic of the system is how to model and control simultaneously multiple interactions among agents in a friendly way. Consequently, expressiveness becomes a problem related to the representation so far, the similar systems cope neither with the problem of expressiveness nor with multiple interactions in a satisfactory way. We propose in this paper, an integrated methodology based on Coloured Petri Nets (CPN) in order to model the interaction mechanism in a CIS and reduce the associated complexity in the representation of the dynamic of the system. This methodology provides us great advantages in the representation and reasoning for the interaction mechanism modeled in CIS. The methodology integrates mainly: a) the action basic loop in order to represent the system interactions and to model organization conversations, b) the CPN in the interaction design and system simulation, c) the communicative acts of FIPA (Foundation for Intelligent Physical Agents), including in the Agent Communication Language Specification.

Procedia Technology, 2013

Computational Science – ICCS 2006, 2006

An alternative approach to modelling and analysis of interactions among agents in multiagent systems (MAS) and their control is presented in analytical terms. The reachability graph of the Petri net (PN)-based model of MAS is found as well as the space of feasible states. Trajectories representing the interaction processes among agents in MAS are computed by means of the mutual intersection of both the straightlined reachability tree (from a given initial state towards the terminal one) and the backtracking reachability tree (from the desired terminal state towards the initial one however, oriented towards the terminal state). Control interferences are obtained on base of the most suitable trajectory chosen from the set of feasible ones.

2003

An important issue regarding the deeper understanding of social and organisational phenomena is the interaction and the linkage between micro and macro layers. The micro-macro-link deals with the emergent aggregation of processes and actions on the micro-level and with structures, rules and roles on the macro-level. This paper presents recent results of the “socionics” project ASKO, which is a fusion of sociology and computer science. Due to the interdisciplinary character of our project we use a graphical representation of our models: a special dialect of high-level Petri nets, namely reference nets, has been chosen, since it offers a simple and executable representation with a clear mathematical foundation.