CFP last date
22 April 2024
Reseach Article

A Conceptual Graph Petri Net Model based Multi Agent System

by Prajna Devi Upadhyay, Animesh Dutta
International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
Volume 45 - Number 12
Year of Publication: 2012
Authors: Prajna Devi Upadhyay, Animesh Dutta
10.5120/6830-9390

Prajna Devi Upadhyay, Animesh Dutta . A Conceptual Graph Petri Net Model based Multi Agent System. International Journal of Computer Applications. 45, 12 ( May 2012), 10-17. DOI=10.5120/6830-9390

@article{ 10.5120/6830-9390,
author = { Prajna Devi Upadhyay, Animesh Dutta },
title = { A Conceptual Graph Petri Net Model based Multi Agent System },
journal = { International Journal of Computer Applications },
issue_date = { May 2012 },
volume = { 45 },
number = { 12 },
month = { May },
year = { 2012 },
issn = { 0975-8887 },
pages = { 10-17 },
numpages = {9},
url = { https://ijcaonline.org/archives/volume45/number12/6830-9390/ },
doi = { 10.5120/6830-9390 },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
}
%0 Journal Article
%1 2024-02-06T20:37:25.215307+05:30
%A Prajna Devi Upadhyay
%A Animesh Dutta
%T A Conceptual Graph Petri Net Model based Multi Agent System
%J International Journal of Computer Applications
%@ 0975-8887
%V 45
%N 12
%P 10-17
%D 2012
%I Foundation of Computer Science (FCS), NY, USA
Abstract

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.

References
  1. Rouff, C. A. , Hinchey, M. , Rash, J. , Truszkowski, W. , and Gordon-Spears, D. (Eds). 2006. "Agent Technology from a formal perspective" (Springer-Verlag London Limited 2006).
  2. Weiss, G. , Ed. , "Multiagent systems: a modern approach to distributed artificial intelligence", (MIT Press, 1999).
  3. N. J. Nilsson, "Artificial intelligence: a new synthesis", (Morgan Kaufmann Publishers Inc. , 1998).
  4. S. J. Russell and P. Norvig," Artificial Intelligence: A Modern Approach", (Pearson Education, 2003).
  5. M. J. Wooldridge, "Introduction to Multiagent Systems", (John Wiley & Sons, Inc. , 2001).
  6. A. Idani, "B/UML: Setting in Relation of B Specification and UML Description for Help of External Validation of Formal Development in B", Thesis of Doctorat, The Grenoble University, November 2005.
  7. G. W. Brams, "Petri Nets: Theory and Practical", Vol. 1-2, (MASSON, Paris, 1982).
  8. M-J. Yoo, "A Componential For Modeling of Cooperative Agents and Its Validation", Thesis of Doctorat, The Paris 6 University, 1999.
  9. P. H. P. Nguyen, D. Corbett, "A basic mathematical framework for conceptual graphs", In: IEEE Transactions on Knowledge and Data Engineering, Volume 18, Issue 2, 2005.
  10. John F. Sowa, Conceptual Graphs, in "The Handbook of Knowledge Representation", ed. F. van Harmelen, V. Lifschitz, and B. Porter, (Elsevier, 2008), pp. 213-237.
  11. John F. Sowa, "Knowledge Representation: Logical, Physical and Computational Foundations" (Thomson Brooks/Cole, 2000)
  12. K. Jensen, "Color Petri Nets – Basic Concepts, Analysis Methods and Practical Use", volume 1: Basic Concepts, (Springer-Verlag, Berlin 1992).
  13. Quan Bai, Minjie Zhang and Haijun Zhang, "A Coloured Petri Net Based Strategy for Multi-agent Scheduling", Proceedings of the Rational, Robust, and Secure Negotiation Mechanisms in Multi-Agent Systems (RRS'05)
  14. Vedran Kordic, "Petri Net,Theory and Applications, in, Use of Petri Nets for Modeling an Agent-Based Interactive System: Basic Principles and Case Study" ed. Houcine Ezzedine and Christophe Kolski,( I-Tech Education and Publishing, Vienna, Austria, 2008) , pp. 534
  15. Su Jindian, Guo Heqing, Yu Shanshan, "A Coloured Petri Net Model for Composite Behaviors in Multi-Agent System", 978-1-4244-1674-5/08 /$25. 00 ©2008 IEEE
  16. Danny Weyns, Tom Holvoet, "A Color Petri Net for Multi Agent Application".
  17. Jose R. Celaya, Alan A. Desrochers, and Robert J. Graves, "Modeling and Analysis of Multi-agent Systems using Petri Nets", Journal of Computers, vol. 4, no. 10, October 2009
  18. Quan Bai, Minjie Zhang and Khin Than Win, "A Color Petri Net Based Approach for Multi-agent Interactions", 2nd International Conference on Autonomous Robots and Agents, December 13-15, 2004 Palmerston North, New Zealand.
  19. Borhen Marzougui, Khaled Hassine, Kamel Barkaoui, "A New Formalism for Modeling a Multi Agent Systems: Agent Petri Nets", J. Software Engineering & Applications. 3(2010) 1118-1124
  20. Dianxiang Xu, Richard Volz, Thomas Ioerger, John Yen, "Modeling and Verifying Multi-Agent Behaviors Using Predicate/Transition Nets", SEKE '02.
  21. Tadao Murata, Peter C. Nelson, "A Predicate-Transition Net Model for Multiple Agent Planning", Information Sciences (1991) 57-58, 361-384
  22. J. -D. Vally, R. Courdier, "Hybrid Model to Design Proactivity and Multi-Agent-Systems", 2002 World Scientific and Engineering Society (WSES) Intern. Conference on evolutionary computations, 2002
  23. Laura Recalde, Enrique Teruel, and Manuel Silva, "On Linear Algebraic Techniques for Liveness Analysis of P/T systems"
Index Terms

Computer Science
Information Sciences

Keywords

Multi Agent System Petri Net Conceptual Graph Deadlock Reachability