基于时间着色 Petri 网的 OpenFlow 协议建模研究

• 作者: 李元平 李华 赵俊岚
• 来源期刊: 华中科技大学学报（自然科学版）
• 学科: 工学
• 关键词: 时间着色Petri网 OpenFlow协议 建模 验证 测试
• 年，卷（期）: 2016,（z1）
• 所属期刊栏目: 网络新技术与应用
• 页码范围: 35-42
• 页数: 8页
• 分类号: TP393.06
• 语种: 中文
• DOI: 10.13245/j.hust.16S108

摘要

介绍了 Hierarchy CPN的相关定义，然后对OpenFlow协议进行了基于时间着色CPN建模。在建模过程中，详细考虑了Token Colour的选取与相关变量的定义，并考虑了时间属性，针对建模的性能进行了分析。执行上述模型并进行验证分析，得出变迁发生次数与所需时间基本符合稳态分布这一事实，满足预期的要求。对所构建模型进行自定义查询分析，依据模型活性、死锁、可达性等特性构建相应的抽象路径，用于指导抽象测试例的生成。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李华	内蒙古大学计算机学院	70	183	7.0	9.0
5	赵俊岚	内蒙古财经大学网络中心	26	338	6.0	18.0
6	李元平	内蒙古大学计算机学院	5	11	2.0	3.0