Plan specification of multi-agent based on Coloured Petri nets

被引：0
|
作者：
Du, Zhuomin [1 ]
He, Yanxiang [1 ]
机构：
[1] Wuhan Univ, Sch Comp, Wuhan 430072, Peoples R China
来源：
20TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS, VOL 2, PROCEEDINGS | 2006年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The number of operations and states of a plan in multi-agent system is finite, and the number of Coloured Petri nets element also is finite. Moreover, the action of plan is similar to the transition of Coloured Petri nets and the state or the resource of plan is similar to the place of Coloured Petri nets. Therefore plan can be modelled effectively by Coloured Petri nets. Consequently, the action, the state and the interaction of plan are modelled by Coloured Petri nets detailedly. Furthermore, the specification, validity and simulation of plan can be described by the theoretical techniques of Coloured Petri nets.
引用
收藏
页码：912 / +
页数：2
相关论文
共 50 条
  • [1] Compositional specification of a multi-agent system by stochastically and dynamically coloured Petri nets
    Everdij, Mariken H. C.
    Klompstra, Margriet B.
    Blom, Henk A. P.
    Obbink, Bart Klein
    [J]. STOCHASTIC HYBRID SYSTEMS: THEORY AND SAFETY CRITICAL APPLICATIONS, 2006, 337 : 325 - 350
  • [2] Multi-agent-systems based on Coloured Petri nets
    Moldt, D
    Wienberg, F
    [J]. APPLICATION AND THEORY OF PETRI NETS 1997, 1997, 1248 : 82 - 101
  • [3] Evaluation of a multi-agent based workflow management system modeled using coloured Petri nets
    Purvis, M
    Savarimuthu, BTR
    Purvis, M
    [J]. INTELLIGENT AGENTS AND MULTI-AGENT SYSTEMS, 2005, 3371 : 206 - 216
  • [4] A multi-agent framework for grid service workflow embedded with Coloured Petri Nets
    Zhai, ZL
    Zhou, L
    Yang, Y
    Tian, ZM
    [J]. GRID AND COOPERATIVE COMPUTING - GCC 2005, PROCEEDINGS, 2005, 3795 : 117 - 122
  • [5] Property specification for coloured Petri nets
    Roubtsova, EE
    [J]. 2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 2617 - 2622
  • [6] 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
  • [7] Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets
    Boucherit, Ammar
    Khababa, Abdallah
    Castro, Laura M.
    [J]. MULTIAGENT AND GRID SYSTEMS, 2018, 14 (04) : 403 - 418
  • [8] Interaction Protocols in Multi-Agent Systems based on Agent Petri Nets Model
    Marzougui, Borhen
    Barkaoui, Kamel
    [J]. INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2013, 4 (07) : 166 - 173
  • [9] Model checking multi-agent systems with logic based Petri nets
    Behrens, Tristan M.
    Dix, Juergen
    [J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2007, 51 (2-4) : 81 - 121
  • [10] A Multi-Agent Systems Model for Rolling System Based on Petri Nets
    Zhao Ye-qing
    Zhu Dao-fei
    Wang Hua
    Bi Gui-hong
    [J]. 2010 2ND INTERNATIONAL ASIA CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS (CAR 2010), VOL 2, 2010, : 101 - 104
12345