Behavioral modeling for mobile agent systems using Petri nets

被引：0
|
作者：
Pouyan, AA [1 ]
Reeves, S [1 ]
机构：
[1] Univ Birjand, Fac Engn, Dept Comp, Birjand, Iran
来源：
2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7 | 2004年
关键词：
Petri nets; mobile agents; modeling; formal methods; distributed computing; asynchronous systems;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper presents a formal Petri net-based approach to behaviour modeling for mobile agent systems. Generic agent templates, formalized in Petri net semantics, are proposed to model the components of a distributed mobile agent system. A generic agent template is conceptualized as an entity consisting of a set of actions, a set of rules which govern the agent communications and an event that captures the agent migration. The communication rules determine the Petri net structures which act as connectors in the proposed approach. The behaviour of the mobile agent is linked to both architectural and structural specifications based on system requirements. After providing certain formal definitions we present a theoretical formal model for designing and describing the behaviour of mobile agent systems for distributed asynchronous applications. It supports formal reasoning based on Petri nets.
引用
收藏
页码：4935 / 4940
页数：6
相关论文
共 50 条
  • [1] Modeling mobile agent systems with high level Petri nets
    Xu, DX
    Deng, Y
    [J]. SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 3177 - 3182
  • [2] Modeling and analysis of multi-agent systems using Petri nets
    Celaya, Jose R.
    Desrochers, Alan A.
    Graves, Robert J.
    [J]. 2007 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-8, 2007, : 2281 - +
  • [3] Modeling and Analysis of Multi-agent Systems using Petri Nets
    Celaya, Jose R.
    Desrochers, Alan A.
    Graves, Robert J.
    [J]. JOURNAL OF COMPUTERS, 2009, 4 (10) : 981 - 996
  • [4] A METHODOLOGY FOR MODELING MULTI-AGENT SYSTEMS USING NESTED PETRI NETS
    Chang, Lily
    He, Xudong
    Shatz, Sol M.
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2012, 22 (07) : 891 - 925
  • [5] Aspects of modeling systems using Petri Nets
    Castellanos, Carlos
    [J]. CIENCIA E INGENIERIA, 2006, 27 (02): : 49 - 58
  • [6] Modeling behavioral patterns of concurrent objects using Petri nets
    Pettit, Robert G.
    Gomaa, Hassan
    [J]. NINTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT AND COMPONENT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2006, : 303 - 310
  • [7] Petri Nets for Mobile Agent: Theory and Application
    Ben Mesmia, Walid
    Marzougui, Borhan
    Barkaoui, Kamel
    [J]. PROCEEDINGS OF SAI INTELLIGENT SYSTEMS CONFERENCE (INTELLISYS) 2016, VOL 2, 2018, 16 : 216 - 227
  • [8] The Methodology for Modeling Queuing Systems using Petri Nets
    Kotyrba, Martin
    Gaj, Jakub
    Tvaruzka, Matous
    [J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2016 (ICNAAM-2016), 2017, 1863
  • [9] Modeling multi-agent systems with hierarchical colored Petri nets
    Ma, BX
    [J]. ARTIFICIAL INTELLIGENCE APPLICATIONS AND INNOVATIONS II, 2005, 187 : 167 - 171
  • [10] Modeling and Analysis for Mobile Computing Systems Based on Petri Nets: A Survey
    Ding, Zhijun
    Yang, Ru
    [J]. IEEE ACCESS, 2018, 6 : 68038 - 68056
12345