Behavioral Modeling of Multi Agent System: High Level Petri Net Based Approach

Modeling interactions between agents and the Multi-Agent System MAS behavior based on role based collaboration among the participating agents are the key factors to design of effective MAS dynamics. In this paper, a High level Multi Agent Petri Net called HMAP has been proposed which is capable of describing, analyzing and modeling dynamics of such MAS which are characterized as asynchronous, distributed, parallel and non-deterministic agent based systems. Proposed HMAP is also effective towards modeling roles, collaborations and interactions among the heterogeneous agents in MAS environment. Moreover the HMAP is useful in formal analysis of several behavioral properties of MAS like, Reachability, Home properties, Boundedness, Liveness and Fairness. The proposed mechanism has been illustrated using a suitable case study of Medical Emergency System. Moreover, to further validate the proposed concepts of HMAP, it has been simulated using Color Petri Net based tool called CPN Tool, with some restriction.