基于CPN的动态多路归并外排序算法建模

介绍CPN（Colorea Petri Nets）的基本概念,用CPN建模实现动态的、并发的多路归并外排序算法。算法利用多个缓冲区解决外部文件读入的等待延时,通过调整缓冲区的大小和数量可在不同的机器上获得最佳效果。     

基于CPN TOOLS的网络协议建模与仿真技术研究

高级网的引入,大大增强了petri网的描述能力,但也导致了重复开发相似的仿真工具,造成了极大的浪费,不利于学术界的整体发展。有色petri网的仿真工具CPN Tools支持强大的元语言(ML),具有很强的扩展性。具有易于建模、易于仿真、易于分析的特点,并集成了较为强大的模型检验功能,如状态空间分析工具等。协议建模是对协议进行分析和研究的基础,CPN Tools的出现对于petri网建模与仿真具有重大的意义。     

基于CPN的联锁进路控制建模及验证

颜色集、层次化的概念使得有色Petri网(Colored Petri Nets,CPN)能够方便地对大型复杂系统进行形式化模型验证分析,铁路车站信号计算机联锁逻辑关系形式化验证方法的研究,对于减少联锁软件开发过程中的不确定性,提高联锁系统的安全性、可靠性,保障行车安全具有重要意义,联锁系统进路控制是联锁逻辑关系的重要内容,在分析联锁进路控制的基础上,采用CPN对联锁进路控制建立形式化分析模型,为车站信号计算机联锁逻辑关系形式化验证方法的研究提供一种联锁进路控制的形式化验证方法,同时通过CPN Tools对所建立的模型进行仿真分析及状态空间分析,结果表明模型能够正确描述联锁进路控制流程及联锁进路控制的功能逻辑,且状态空间分析结果与联锁进路控制逻辑完全相符。     

资源角度的CPN工作流模型

本文比较当前流行的工作流模型,提出基于CPN的工作流模型具有过程建模与检测相结合的优点。给出CPN的定义并从资源角度定义CPN工作流模型。最后对CPN工作流模型的工作进行展望。     

基于CPN的两阶段提交协议建模

CPN(Colored Petri Net)是一种面向图形的语言,用来仿真和验证系统,尤其适用于复杂的分布式系统。简单介绍分布式事务处理协议中的两阶段提交协议,提出一种基于CPN的两阶段提交协议建模和分析方法,完整阐述两阶段提交协议的建模过程和模型验证方法,清晰直观地分析模型的仿真结果,形象地表现两阶段提交协议的一致性。利用CPN模型对两阶段提交协议性能的分析,为进一步研究两阶段提交协议提供了一种新的手段。     

基于CPN的城市智能交通信号控制系统建模

提出了一种城市交通控制系统的分布式结构及控制策略,介绍了CPN(Colorcd Petrj Nets)的基本概念及建模特性,着重探讨了借助CPN建模技术对城市智能交通信号控制系统进行的建模分析。     

基于CPN的单路口交通信号控制建模

针对城市道路交叉口的交通流特性,用CPN对单路口交通信号多相位实时控制进行建模。单路口交通信号控制系统是一种实时分布式复杂系统,具备同步,并发,冲突,互斥,资源共享的离散事件系统特征。针对离散事件系统,CPN网是个强大而实用的建模工具。     

基于CPN的切换模式下行车许可生成过程研究

文中针对高铁列控行车许可存在的规范化设计问题,根据CTCS-3级列控系统RBC行车许可的生成机制,设计了一种基于Petri网理论的行车许可生成的模型,并运用CPN-Tools仿真工具动态仿真了CTCS-3级列控系统下的RBC切换模式的行车许可生成过程,观察相邻RBC交接时列车运行过程中的通信机制及信息传输,最后通过分析模型的一些性能验证了该模型的正确性。为行车许可模块的设计提供一种规范的正确的软件设计方法,减少软件开发过程中存在的一些缺陷,使列车运行更安全更可靠。     

基于 CPN 的切换模式下行车许可生成过程研究

文中针对高铁列控行车许可存在的规范化设计问题,根据 CTCS-3级列控系统 RBC 行车许可的生成机制,设计了一种基于 Petri 网理论的行车许可生成的模型,并运用 CPN-Tools 仿真工具动态仿真了 CTCS-3级列控系统下的 RBC 切换模式的行车许可生成过程,观察相邻 RBC 交接时列车运行过程中的通信机制及信息传输,最后通过分析模型的一些性能验证了该模型的正确性.为行车许可模块的设计提供一种规范的正确的软件设计方法,减少软件开发过程中存在的一些缺陷,使列车运行更安全更可靠     

基于OpenFlow的SDN技术研究

软件定义网络(software-defined networking,简称SDN)技术分离了网络的控制平面和数据平面,为研发网络新应用和未来互联网技术提供了一种新的解决方案.综述了基于OpenFlow 的SDN 技术发展现状,首先总结了逻辑控制和数据转发分离架构的研究背景,并介绍了其关键组件和研究进展,包括OpenFlow交换机、控制器和SDN技术,然后从4 个方面分析了基于OpenFlow 的SDN 技术目前所面临的问题和解决思路.结合近年来的发展现状,归纳了在校园网、数据中心以及面向网络管理和网络安全方面的应用,最后探讨了未来的研究趋势.     

基于协进化和CPN的多智能体系统建模

多智能体系统体系结构及协作机制是多智能体理论研究的核心与热点问题,作为一种新兴的研究方法,基于协进化机制的多智能体协作具有广阔的研究前景。但已有的协进化模型过于简单,缺乏灵活性和更强的应用能力。CPN是多智能体系统建模的最好的工具之一,因此将其应用于协进化机制的多智能体系统的建模很有意义。     

基于分层思想的基本通信系统CPN建模

针对通信系统建模复杂度高、可靠性差、模型缺乏形式化验证方法以及可重用性差的问题,提出一种基于分层思想,并结合面向对象的概念,利用着色Petri网(CPN)对基本通信系统进行建模的方法。该方法融合CPN和面向对象技术的优点,从形式化、可视化的角度描述基本通信系统的运行过程。以一个简单的基本通信系统为例进行建模,证明该模型与实际系统中的对象可以相互对应,易于理解和实现。     

基于AUML与GPN的Agent交互协议建模

本文提出了一种基于AUML和CPN的Agent交互协议建模和检验的方法。该方法的主要思想是首先利用AUML协议图对Agent交互协议进行描述；然后在此基础上利用各种通信协议 建模中常用的有色Petri网（CPN）来对交互协议进行描述，并进一步转换成为比较适合描述多个Agent并发交互的形式。此外，可以使用CPN的验证工具时CPN所描述的交互协议进行检验。     

基于CPN Tools的电信业务建模及其应用

提出了一种对电信业务流程建立基于着色Petri网模型的方法。该方法基于网元分层结构，使业务在建模后能方便地进行各业务的集成，从而可以进行业务间交互的离线检测。根据上述方法，应用CPN Tools作工具，对若干电信业务进行建模，并利用CPN Tools的仿真功能，对业务之间的冲突作了检测。该建模和仿真方法对业务冲突的离线检测有一定的参考价值。     

基于CPN的嵌入式RTOS任务调度建模

针对有色PetriN（CPN）在并行、并发、资源共享描述上的适用性,将其引入到嵌入式实时操作系统（RTOS）建模中,解决了RTOS任务调度模型中的CPU独占表述、优先级排序、抢占时间处理和周期任务实现问题。对一个优先级抢占式任务调度实例建立CPN模型,结果表明该模型能有效反映RTOS系统的动态特性,准确定量模拟出RTOS系统的效率、切换频率指标。     

一种新的基于有色Petri网的安全协议建模方法

密码协议安全性的分析是网络安全的一个难题，运用形式化方法对密码协议进行分析一直是该领域的研究热点。本文提出了一种新的基于有色Petri网的安全协议建模方法，并以TMN密码协议为例，说明了这一方法的建模过程。     

基于CPN的RUDP建模与分析

目前可靠用户数据报协议(RUDP)有许多分析方式,但缺少形式化的模型.针对该问题,运用着色Petri网(CPN)对RUDP进行形式化建模,使用CPN Tools对模型进行仿真,通过生成的状态空间报告验证该协议模型的信息一致性、完整性和系统活性等性质.采用3次不同的实验对模型进行性能分析,实验结果显示,该模型的平均重传率为5％,能够模拟RUDP的行为,为研究RUDP提供一种形式化的方法.