多Agent系统形式化建模方法研究

• 作者: 于振华 张新曼 蔡远利
• 来源期刊: 系统仿真学报
• 学科: 工学
• 关键词: 多Agent系统 Petri网 π演算 建模与分析
• 年，卷（期）: 2007,（14）
• 所属期刊栏目: 建模与仿真理论及方法
• 页码范围: 3151-3157
• 页数: 7页
• 分类号: TP301
• 字数: 7395字
• 语种: 中文
• DOI: 10.3969/j.issn.1004-731X.2007.14.007

摘要

简要总结了多Agent系统(MAS)形式化建模方法的研究现状;以面向对象Petri网(OPN)和π演算为基础,给出了一种直观的MAS体系结构模型(Multi-Agent Systems Architecture Model, MASAM).OPN可以形象地描述MAS的初始化结构及动态行为,而π演算可以刻画MAS的动态演化;另外,可以利用Petri网和π演算的相关分析方法和支持工具分析和验证系统模型,在系统开发早期发现并避免体系结构级的错误.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张新曼	西安交通大学电子与信息工程学院	37	289	10.0	15.0
2	蔡远利	西安交通大学电子与信息工程学院	95	1219	23.0	31.0
3	于振华	西安交通大学电子与信息工程学院	14	223	9.0	14.0