基于着色解释Petri网的网络协议建模及协同仿真方法

• 作者: 吴磊 彭磊 曾家智 毕亚雷
• 来源期刊: 计算机集成制造系统
• 学科: 工学
• 关键词: 协议工程 离散事件系统 着色解释Petri网 建模 协同仿真
• 年，卷（期）: 2009,（1）
• 所属期刊栏目: 论文
• 页码范围: 82-88,96
• 页数: 8页
• 分类号: TP393|TP311.5
• 字数: 5909字
• 语种: 中文

摘要

为解决协议工程中协议形式化验证和仿真断裂的问题,结合着色Petri网和解释Petri网,构造出一种可建模复杂离散事件系统的着色解释Petri网.借助观察者模式,依据着色解释Petri网的特点,提出了一种具有通用性的与协议仿真工具协同工作的方法.作为对该方法的示例,采用着色解释Petri网对避免冲突的多路访问协议进行建模.在保证与OPNET仿真模型一致的基础上,通过着色解释Petri网与OPNET的协同仿真,改良了避免冲突的多路访问的功率控制算法.基于着色解释Petri网的协同仿真,第一次紧密连接了Petri网和通用协议仿真工具,对协议工程将起到重要作用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾家智	电子科技大学计算机科学与工程学院	68	452	13.0	18.0
2	吴磊	电子科技大学计算机科学与工程学院	28	171	8.0	12.0
3	彭磊	电子科技大学计算机科学与工程学院	10	56	5.0	7.0
7	毕亚雷	中国科学院深圳先进技术研究院	4	14	2.0	3.0