Petri net-based cooperation in multi-agent systems

被引：10
|
作者：
Kotb, Y. T. [1 ]
Beauchemin, S. S. [1 ]
Barron, J. L. [1 ]
机构：
[1] Univ Western Ontario, Dept Comp Sci, London, ON N6A 5B7, Canada
来源：
FOURTH CANADIAN CONFERENCE ON COMPUTER AND ROBOT VISION, PROCEEDINGS | 2007年
关键词：
D O I：
10.1109/CRV.2007.49
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We present a formal framework for robotic cooperation in which we use an extension to Petri nets, known as work-flow nets, to establish a protocol among mobile agents based on the task coverage they maintain. Our choice is motivated by the fact that Petri nets handle concurrency and that goal reachability can be theoretically established. We describe the means by which cooperation is performed with Petri nets and analyze their structural and behavioral characteristics in order to show the correctness of our framework.
引用
收藏
页码：123 / +
页数：2
相关论文
共 50 条
  • [1] Multi-agent systems: A Petri net with objects based approach
    Chainbi, W
    [J]. IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY, PROCEEDINGS, 2004, : 429 - 432
  • [2] Petri Net based Agent behavior Definition and Execution for Multi-agent Systems
    Tarnauca, Bogdan
    Puiu, Dan
    Petrescu, Anca
    Comnac, Vasile
    [J]. 2013 17TH INTERNATIONAL CONFERENCE ON SYSTEM THEORY, CONTROL AND COMPUTING (ICSTCC), 2013, : 533 - 538
  • [3] Modeling Decision and Cooperation of Multi-agent System Using Petri Net
    Lin Zishen
    Li Wei
    Li Maoqing
    [J]. ICCSSE 2009: PROCEEDINGS OF 2009 4TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION, 2009, : 643 - 646
  • [4] Developing cooperation mechanism for multi-agent systems with Petri nets
    Hsieh, Fu-Shiung
    [J]. ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2009, 22 (4-5) : 616 - 627
  • [5] A Petri-net-based model for the mathematical analysis of multi-agent systems
    Hiraishi, K
    [J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2001, E84A (11) : 2829 - 2837
  • [6] A Petri-net-based model for the mathematical analysis of multi-agent systems
    Hiraishi, K
    [J]. SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 3009 - 3014
  • [7] Petri net-based modeling and control of the multi-elevator systems
    Farooq Ahmad
    Ilyas Fakhir
    Sher Afzal Khan
    Yaser Daanial Khan
    [J]. Neural Computing and Applications, 2014, 24 : 1601 - 1612
  • [8] Petri net-based modeling and control of the multi-elevator systems
    Ahmad, Farooq
    Fakhir, Ilyas
    Khan, Sher Afzal
    Khan, Yaser Daanial
    [J]. NEURAL COMPUTING & APPLICATIONS, 2014, 24 (7-8): : 1601 - 1612
  • [9] Cooperation and Negotiation of Agents by Means of Petri Net-based Models
    Capkovic, Frantisek
    [J]. 2012 17TH INTERNATIONAL CONFERENCE ON METHODS AND MODELS IN AUTOMATION AND ROBOTICS (MMAR), 2012, : 256 - 261
  • [10] A Coloured Petri Net based strategy for multi-agent scheduling
    Bai, Q
    Zhang, MJ
    Zhang, HJ
    [J]. RRS 2005: Rational, Robust, and Secure Negotiation Mechanisms in Multi-Agent Systems, Proceedings, 2005, : 3 - 10
12345