CPN-TOOLS在装备维修规划中的应用研究

有色petri网(CPN)理论是对离散事件动态系统(DEDS)进行建模的有利工具,针对装备维修保障系统的特点,将CPN理论引入装备维修保障系统的建模与仿真,应用CPN对该系统进行建模,并利用CPN—TOOLS对模型进行仿真,针对一个假定条件提出了维修人员方案的合理配置。     

基于CPN的联邦概念模型形式化建模与验证(英文)

提出了基于着色Petri网(CPN)的联邦概念模型(FCM)形式化建模与验证一体化方法。这种方法的提出主要基于下面两点:一是形式化的FCM与用自然语言描述的模型相比具有更完整、更准确和更规范的特点;二是形式化模型的验证需要专门的工具辅助完成。以一个简单的制造系统为例,采用CPN语言建立了该系统的形式化概念模型,利用辅助软件工具CPN Tools完成了该联邦概念模型的仿真和验证。应用研究表明,着色Petri网有助于描述联邦中各实体的行为和关系,CPN Tools辅助工具实现了形式化模型建模、仿真和验证的一体化过程。     

优先级Petri网的CPN Tools仿真模型研究

优先级概念的引入,增强了有色Petri网的描述能力,但同时也导致了重复开发相似的仿真工具,造成了极大的浪费。通用的有色Petri网仿真工具CPN Tools支持功能强大的元语言(ML),扩展性比较强。在CPN Tools中利用反库所(anti place)、列表(list)和元语言(ML)等方法建立了变迁、库所和托肯三种类型优先级Petri网的仿真模型,并通过示例表明了方法的有效性,这对于优先级Petri网的仿真具有重要意义。     

基于着色Petri网的防空电子战系统建模研究

着色Petri网(CPN)是一种面向图形的语言,用来设计、说明、模拟和验证系统。提出了适于防空电子战作战过程建模的面向仿真的CPN,并对其在一个小型的防空电子战系统作战过程建模中的应用进行了探讨,同时运用CPN本身的动态特性,结合防空电子战系统的实际作战运用给出了仿真实例,其结论一方面可作为辅助决策的依据,另一方面,也为防空电子战系统的优化提供了方案。     

基于CPN的在轨服务概念建模

概念建模是建立仿真系统的第一步。首先介绍了着色Petri网(Colored Petri Net,CPN)的建模基础,其次分析了在轨服务概念及其流程,然后运用CPN-Tools建立了在轨服务的CPN模型,并生成了模型的状态空间报告,分析了模型的回归性、有界性、活性以及公平性。在轨服务概念模型,可以为在轨服务系统及其仿真系统的建立提供参考。     

基于带禁止弧的CTPN的维修资源管理模型研究

根据维修资源管理方式,结合时间有色Petri网理论,提出了带禁止弧的时间有色Petri网,并利用带禁止弧的时间有色Petri网建立了维修资源管理模型,结合CPN Tools进行了仿真,仿真结果表明带禁止弧的时间有色Petri网能得到更好模拟实际的资源管理过程,并能得到维修过程的总体情况,资源的利用率等参数.     

基于CPN建模技术的研究

Coloured Petri Nets(CPN) 是一种面向图形的建模语言.给出了CPN的形式化定义,并以实例说明描述分布式数据库系统的一种基于CPN的方法.     

基于着色Petri网的卫星军事应用系统建模

卫星军事应用系统是一个复杂的军事信息系统,具有同步、并发、冲突等特点。应用着色Petri网技术对其进行建模,符合卫星军事应用系统的特点,能够有效分析系统的静态结构和动态行为。介绍了着色Petri网的基本概念,剖析了卫星军事应用系统的作战过程,建立了系统的CPN模型,最后针对模型进行了性能分析。     

基于Ｐｅｔｒｉ网的低轨星座空间覆盖属性分析

针对低轨（low earth orbit, LEO）星座系统的空间覆盖性能,提出应用着色Petri网（colored Petri net, CPN）建模仿真分析星座对目标空间覆盖属性的方法。通过低轨探测星座系统的三层CPN建模和仿真,分析整体星座的逻辑结构特性和多星动态协同事件操作流程及操作事件的因果/并发时序关系,创建了一种LEO探测卫星对任意时间、任意地点和任意弹道的空间目标覆盖属性研究途径,以获得星座对任意来袭目标的最优探测操作流程。     

自适应拥塞控制系统中LDoS攻击仿真和分析

针对自适应拥塞控制系统操作特性所出现的低速率拒绝服务攻击（LDoS,Low-rate Denial of Service attacks）是近年来的一类新型DoS攻击。与传统洪范式DoS攻击相比,LDoS具有攻击效率更高、检测难度更大等特点。在对常用攻击模拟分析平台NS2进行缺陷分析的基础上,提出了一种基于有色Petri网（CPN）的LDoS攻击系统建模方法,应用仿真工具CPN Tools实现了对目标系统行为及LDoS攻击效果的仿真,并在此基础上提出了一种基于自适应资源投放的系统防范方案,仿真结果表明此方案能够有效降低LDoS攻击对目标系统服务质量的影响。     

有色Petri网在通信协议中的应用

有色Petri网(CPNs)提供了一个框架用来对系统进行设计.有色Petri网有着很广泛的应用领域,很多CPNs项目在工业中得以应用.通讯协议、操作系统、硬件系统、嵌入式系统和软件设计也是有色Petri网的应用领域.     

Application of the Constrained Predicated Nets and Interval Logic to Production Systems

1 .INTRODUCTIONDuetotheireconomicsignificanceandclosenesstopersons,productionsystemsmustbemodeledbeforetheirimplementationanduse,thus,amethodwhichspecifies ,analyzesandsynthesizestheproductionsys tems—discreteeventsystems (DES)hasbeenestab lishedanddevelopedstepbystepinrecentyears.DESmethodspecifiestheplantbasedonitsdiscretecharacters,however,intherealworld ,therearefewplantsthatcanbemodeledbypurelydiscretemathe maticalmodelbecausetherearealwayssomecontinu ousparametersforstudyinnearlya…     

基于Petri网的基层级多机种通用性维修保障设备优化配置

多机种战时的出动架次系统是一个复杂的离散事件系统,适合运用Petri网理论对其进行建模。本文运用Petri网理论构建多机种战时的出动架次模型,应用着色Petri网(coloured Petri nets,CPN) Tools软件仿真模拟基层级的维修保障过程,重点分析通用性维修保障设备的配置对多机种同场次出动架次率的影响,并以多机种的出动架次率为优化目标,获得通用性保障设备的最优配备比(保障设备数:飞机数),最后对影响多机种出动架次的因素进行敏感性分析。同时对优化配置模型进行了案例验证,可为作战部门进行保障设备数量的最优化配备提供有效的理论支持。     

基于着色Petri网的复杂产品开发多项目调度建模研究

建立多项目调度模型已经成为复杂产品开发多项目计划和控制的基础。分析了复杂产品开发多项目调度的特点，指出目前已经提出的多项目调度建模方法不能全面的体现和描述上述特点，提出了用着色Petri网建立多项目调度模型的具体思路和方法，即在着色Petri网颜色定义的基础上，利用着色网的颜色、层次等特点描述多项目调度的相似性、开放性争层次性，利用着色网的守卫函数、孤函数和双向孤等方法描述多项目调度的冲突性、技术关联性争遮代性，文章简要阐述了模型实例和分析方法，最后给出结论和下一步工作。     

三种可靠性分析方法的比较研究

分析了用ＣＰＮ建模、ＧＯ法和动态故障树进行可靠性分析的基本原理，指出了其各自的构造过程，给出２个ＣＰＮ模型、ＧＯ模型和动态故障树模型实例，并在适用对象、描述系统功能、工程适用性、多态性、发现故障隐患、非单调性等方面对这三种方法进行了对比分析。最后给出这三种方法的优点与不足，并指出这三种方法在描述系统时采用功能模块化的思想和遵循系统功能流程的原则是对传统可靠性理论的一个突破。     

论Petri网链路合成

提出了单链路的概念和链路合成网的概念;给出了自由选择网(FC),扩展自由选择网(EFC),强化非对称自由选择网(SAC),扩展强化非对称选择网(ESAC)和非对称选择网(AC)链路合成网为各自相应网的充分条件;提出了链路合成网保持结构活性的条件,按照条件对多个结构活的FC网,EFC网,SAC网,ESAC网,AC网以及一般的Petri网两两进行链路合成,最后可得到结构活的链路合成总网;链路合成的特色是合成条件容易判断,实用性强.研究结果可为Petri网系统合成的静态和动态性质的考察提供有效途径.     

Petri网及其随机Petri网的性能分析方法

本文研讨和实现基于Ｐｃｔｒｉ网及其随机Ｐｃｔｒｉ网的性能分析方法。文中在Ｐｃｔｒｉ网基本概念的基础上，给出了若干Ｐｃｔｒｉ网典型的模型，讨论了Ｐｃｔｒｉ网的分析方法和分析性质。在此基础上，给出了随机Ｐｃｔｒｉ网和离散时间随机Ｐｃｔｒｉ网的定义，用实例描述了性能分析方法。     

基于CPN的可信路由器发现协议建模与仿真分析

为了保证终端设备能够可信高效地通过接入路由器访问互联网,提出一种可信路由器发现协议,实现安全、高效的接入路由器身份认证过程,并基于着色Petri网(Colored Petri Nets,CPNs)为该协议建立关联的功能验证模型和性能分析模型,有效集成协议的安全性验证与性能分析过程,以确认该协议在保证安全能力的基础上可以有效提升接入路由器身份认证过程的性能。基于着色Petri网的安全性验证与性能评价集成分析方法为安全类协议的性能改进分析提供了一种更加便捷、有效的协议仿真分析方法。