【摘 要】
：
CPN作为一种形式化方法,得到了广泛的研究与应用,其在网络协议上和工业系统中的应用尤为突出.OpenFlow是一种新的网络交换模型,包含OpenFlow交换机和控制器,本文首先介绍了Op
【机 构】
：
内蒙古大学计算机学院 呼和浩特 010020
【出 处】
：
第十四届全国Petri 网理论与应用学术年会
论文部分内容阅读
CPN作为一种形式化方法,得到了广泛的研究与应用,其在网络协议上和工业系统中的应用尤为突出.OpenFlow是一种新的网络交换模型,包含OpenFlow交换机和控制器,本文首先介绍了OpenFlow协议及CPN(Coloured Petri Nets),然后基于层次CPN对OpenFlow网络进行了建模,对每一层的模型都做了详细的说明,充分体现OpenFlow的工作机制.在建模的过程中,详细的考虑了模型中token的选取和变量的定义,使得CPN模型的执行可以描述OpenFlow的动态工作过程.通过CPN工具生成的状态空间对模型的性质进行了简单的分析,证明了它的活性、有界性.最后给出了下一步的研究工作.
其他文献
刘永兵,生于1974年9月。工作十余年来,一直从事高中语文教学,带过五届高三毕业班。是国家级重点课题《素质教育与校园文学》成员,2002年获市级新教材优质课大赛一等奖第一名
目的:本研究主要分析肝动脉化疗栓塞序贯消融联合生物治疗原发性肝癌的近期及远期疗效.方法:对2002年1月至2012年4月行肝动脉化疗栓塞序贯射频或微波消融术后联合生物治疗原
商业银行面临的主要风险是信贷风险，信贷风险的管理对商业银行的生存发展起着至关重要的作用。本文首先阐述了信贷风险及其管理的基本理论，在此基础上，系统分析了我国商业银行信
他高中毕业后南下深圳打工,做工时手臂不幸被卷进高温溶炉而被迫截肢。面对突如其来的不幸,他克服种种困难,自学有关法律知识,走上了艰难的维权之路。历时两年多时间,他靠着
由Murray于1907年报道第一例石棉肺以来,石棉作为较强的致癌因素已日益受到职业医学家的重视。各国研究人员对石棉的危害性及其所致疾病(如:石棉肺、胸膜间皮瘤、肺癌等)作
属性粒计算可模拟人脑的粒化、组织和因果等认知功能,但推理过程缺乏一种形式化机制.Petri网具有的异步、并发和不确定性等特征与人脑思维过程中的某些认知活动相类似,基于属
2017年1月至2019年4月于江苏南部溪流水域采集司氏(鰑)(Liobagrus styani)样本221尾,利用脊椎骨分析法对司氏(鰑)的年龄与生长进行了初步研究.结果表明,司氏(鰑)渔获物年龄组
BPEL访问控制机制是Web服务安全组合研究的重要内容,如何维护活动协同授权的一致性是其中的难点.通过扩展的CPN(有色Petri网)对BPEL活动协同授权执行的动态行为语义进行建模,
楚歌,原名储祥龙,毕业于南京师范大学美术系书法专业,研修于南京艺术学院及中央美术学院。现为中国书法家协会会员、中国青年书法家协会会员、职业书法家,绍兴市墨艺居家文化
目的:探讨CT引导经皮穿刺微波消融治疗难治性结直肠癌肝转移的临床疗效和并发症.方法:26例化疗无效的结直肠癌肝转移患者,在CT引导下行经皮穿刺肝转移瘤微波消融治疗,微波频