|
|||||
|
|
| 基于时间着色Petri网的OpenFlow协议建模研究 | |
| 作者单位： | ;1.内蒙古大学计算机学院;2.内蒙古财经大学网络中心;3.内蒙古大学网络中心 |
| 摘 要： | 介绍了Hierarchy CPN的相关定义,然后对OpenFlow协议进行了基于时间着色CPN建模.在建模过程中,详细考虑了Token Colour的选取与相关变量的定义,并考虑了时间属性,针对建模的性能进行了分析.执行上述模型并进行验证分析,得出变迁发生次数与所需时间基本符合稳态分布这一事实,满足预期的要求.对所构建模型进行自定义查询分析,依据模型活性、死锁、可达性等特性构建相应的抽象路径,用于指导抽象测试例的生成. |
| 关 键 词： | 时间着色Petri网 OpenFlow协议 建模 验证 测试 |
The modeling research about OpenFlow protocol based TCPN |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ | |