A Methodology to Analyze Multi-Agent Systems Modeled in High Level Petri Nets

被引：3

作者：

Chang, Lily ^{[1
]}

He, Xudong ^{[2
]}

机构：

[1] Univ Wisconsin, Dept Comp Sci & Software Engn, Platteville, WI 53818 USA

[2] Florida Int Univ, Sch Comp & Informat Sci, Miami, FL 33199 USA

来源：

INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING | 2015年 / 25卷 / 07期

关键词：

Formal methods; model checking; petri nets; multi-agent systems; ARCHITECTURE; SPECIFICATIONS; FRAMEWORK;

D O I：

10.1142/S0218194015500230

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

This paper presents a methodology for analyzing multi-agent systems modeled in nested predicate transition nets. The objective is to automate the model analysis for complex systems, and provide a foundation for tool development. We formally define the translation rules that translate the multi-agent model to an executable PROMELA model, and demonstrate the translation with an example.

引用

页码：1199 / 1235

页数：37

共 50 条

[1] A METHODOLOGY FOR MODELING MULTI-AGENT SYSTEMS USING NESTED PETRI NETS
Chang, Lily
He, Xudong
Shatz, Sol M.
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2012, 22 (07) : 891 - 925
[2] Study on Multi-agent Systems with Colored Petri Nets
兰顺国
李军
科技信息, 2008, (20) : 609 - 610
[3] Methodology of Designing Multi-agent Robot Control Systems Utilising Hierarchical Petri Nets
Figat, Maksym
Zielinski, Cezary
2019 INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2019, : 3363 - 3369
[4] Developing cooperation mechanism for multi-agent systems with Petri nets
Hsieh, Fu-Shiung
ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2009, 22 (4-5) : 616 - 627
[5] Modeling multi-agent systems with hierarchical colored Petri nets
Ma, BX
ARTIFICIAL INTELLIGENCE APPLICATIONS AND INNOVATIONS II, 2005, 187 : 167 - 171
[6] Modeling and Analysis of Multi-agent Systems using Petri Nets
Celaya, Jose R.
Desrochers, Alan A.
Graves, Robert J.
JOURNAL OF COMPUTERS, 2009, 4 (10) : 981 - 996
[7] Modeling and analysis of multi-agent systems using Petri nets
Celaya, Jose R.
Desrochers, Alan A.
Graves, Robert J.
2007 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-8, 2007, : 2281 - +
[8] Object-Oriented High Level Petri nets as a formal language for modelling and design Multi-agent systems
Brezovan, Marius
Ganea, Eugen
ADVANCES IN INTELLIGENT AND DISTRIBUTED COMPUTING, 2008, 78 : 63 - 74
[9] Interaction Protocols in Multi-Agent Systems based on Agent Petri Nets Model
Marzougui, Borhen
Barkaoui, Kamel
INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2013, 4 (07) : 166 - 173
[10] Evaluation of a multi-agent based workflow management system modeled using coloured Petri nets
Purvis, M
Savarimuthu, BTR
Purvis, M
INTELLIGENT AGENTS AND MULTI-AGENT SYSTEMS, 2005, 3371 : 206 - 216

← 1 2 3 4 5 →