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

共 38 条

[21]

Holzmann G., 2003, The SPIN Model Checker: Primer and Reference Manual, V1st

[22] The model checker SPIN [J].

Holzmann, GJ .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1997, 23 (05) :279-295

[23]

Kitano H, 2001, AI MAG, V22, P39

[24]

Köhler M, 2003, LECT NOTES COMPUT SC, V2679, P121

[25]

LEWANDOWSKI SW, 2000, P 12 INT C SOFTW ENG, P15

[26] Agent-based resource discovery architecture for environmental emergency management [J].

Liu, KFR .

EXPERT SYSTEMS WITH APPLICATIONS, 2004, 27 (01) :77-95

[27] PETRI NETS - PROPERTIES, ANALYSIS AND APPLICATIONS [J].

MURATA, T .

PROCEEDINGS OF THE IEEE, 1989, 77 (04) :541-580

[28] A multi-agent based framework for the simulation of human and social behaviors during emergency evacuations [J].

Pan, Xiaoshan ;

Han, Charles ;

Dauber, Ken ;

Law, Kincho .

AI & SOCIETY, 2007, 22 (02) :113-132

[29] Automatic code generation from high-level Petri-Nets for model driven systems engineering [J].

Philippi, Stephan .

JOURNAL OF SYSTEMS AND SOFTWARE, 2006, 79 (10) :1444-1455

[30]

Pnueli A., 1977, 18th Annual Symposium on Foundations of Computer Science, P46, DOI 10.1109/SFCS.1977.32

← 1 2 3 4 →