基于层次CPN的OpenFlow建模研究

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