Welcome to the InfoSci Platform
Reference Hub5
Behavioral Modeling of Multi Agent System: High Level Petri Net Based Approach

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

Rajib Kumar Chatterjee, Neha Neha, Anirban Sarkar
Copyright: © 2015 |Volume: 7 |Issue: 1 |Pages: 24
ISSN: 1943-0744|EISSN: 1943-0752|EISBN13: 9781466676817|DOI: 10.4018/ijats.2015010104
Cite Article Cite Article

MLA

Chatterjee, Rajib Kumar, et al. "Behavioral Modeling of Multi Agent System: High Level Petri Net Based Approach." IJATS vol.7, no.1 2015: pp.55-78. http://doi.org/10.4018/ijats.2015010104

APA

Chatterjee, R. K., Neha, N., & Sarkar, A. (2015). Behavioral Modeling of Multi Agent System: High Level Petri Net Based Approach. International Journal of Agent Technologies and Systems (IJATS), 7(1), 55-78. http://doi.org/10.4018/ijats.2015010104

Chicago

Chatterjee, Rajib Kumar, Neha Neha, and Anirban Sarkar. "Behavioral Modeling of Multi Agent System: High Level Petri Net Based Approach," International Journal of Agent Technologies and Systems (IJATS) 7, no.1: 55-78. http://doi.org/10.4018/ijats.2015010104

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.