文献类型：会议

作　　者：李华 贺楠 董路路 吕亮亮

作者单位：内蒙古大学计算机学院 呼和浩特 010020 内蒙古大学网络中心 呼和浩特 010020 内蒙古大学计算机学院 呼和浩特 010020

会议文献：第十四届全国Petri 网理论与应用学术年会论文集

会议名称：第十四届全国Petri 网理论与应用学术年会

会议日期：20130823

会议地点：西安

主办单位：中国计算机学会

出版日期：20130823

语　　种：中文

摘　　要：CPN作为一种形式化方法,得到了广泛的研究与应用,其在网络协议上和工业系统中的应用尤为突出.OpenFlow是一种新的网络交换模型,包含OpenFlow交换机和控制器,本文首先介绍了OpenFlow协议及CPN(Coloured Petri Nets),然后基于层次CPN对OpenFlow网络进行了建模,对每一层的模型都做了详细的说明,充分体现OpenFlow的工作机制.在建模的过程中,详细的考虑了模型中token的选取和变量的定义,使得CPN模型的执行可以描述OpenFlow的动态工作过程.通过CPN工具生成的状态空间对模型的性质进行了简单的分析,证明了它的活性、有界性.最后给出了下一步的研究工作.

关 键 词：网络交换模型  形式化建模 PETRI网 数据处理

分 类 号：TP301.2]