基于HTPN战时通信装备维修保障系统建模

为了调整和优化通信装备维修保障系统中各类资源配置,采用DEVS(Discrete EVent System Specifications)与时间Petri网建模理论相结合的方法,对战时通信装备维修保障系统进行分层次建模,构建了战时通信装备维修保障系统层次时间Petri网(HTPN:Hierarchy Time Petri Net)模型,并讨论了模型的具体应用。该模型克服了普通Petri网建模的不足之处,使模型变得直观、简单,并有利于模型分析和仿真实现。通过此模型还可分析得出通信装备最短的维修时间,为装备维修的决策阶层提供决策支持,进一步提高了军队装备维修保障的能力。     

防化装备维修保障系统的Petri网

为了解决传统的Petri网模型结构复杂、缺少时间描述等不足,在装备维修保障系统建模中,利用有色Petri网、赋时Petri网理论,提出了装备维修保障系统的Petri网模型,具有结构顺序明确、计算简便、效率高等特点。     

舰艇作战系统武器通道时延分析技术

武器通道时延是舰艇作战系统设计中的一项重要的动态指标,本文利用着色Petri网(CPN)对武器通道的执行过程进行动态建模,并研究了基于CPN模型对武器通道各种时延指标的计算方法。最后通过一个典型的防空武器通道的CPN建模和仿真计算验证了舰艇作战系统通道时延的动态计算方法。     

测控网络服务元体系结构的虚电路CPN建模

服务元是近期开始研究的一种非层次网络体系结构,采用虚电路VC(Virtual Circuit)结构.如用于专用的测控网络系统,能提高其实时性能.针对测控网络的服务元体系结构用着色Petri网CPN(Colored Petri Net)建模,采用的不是通常自顶而下分级的方法,而是提出了统一建模的思想,用少量复杂的库所、变迁表示模型,给出了网络界熟悉的收发操作算法,提出了两次握手协议和六次握手协议.测控网络采用VC结构,能提高测控网络的实时服务质量QoS(Quality of Server),用CPN工具建模仿真可分析测控网络的性能.     

基于Petri网的病毒攻击建模

针对威胁计算机网络安全的病毒攻击行为,建立了基于Petri网的病毒入侵网络基本模型,利用CPN tools仿真工具分析了模型的活性和各个库所的有界性,以利于采取有效的网络防御措施和建立安全的防御体系.利用安全策略域、域间通信信道的概念,根据病毒入侵传播的特性,建立了基于随机着色Petri网的企业网络模型,并给出了用该模型模拟与安全相关网络行为的方法.     

基于着色Petri网的协调策略建模研究

提出了一种基于着色Petri网（CPN）的协调策略描述方法,在介绍CPN基本构成的基础上,对计算机支持的多层次协同工作系统（CSMMCW）中的协调策略进行了建模。利用CPN,对组间和组内协同工作,通过建立任务执行工作流和CPN之间的映射关系来准确地描述各种协调策略。文章举例具体说明了如何建立组内协调策略的CPN模型,并对该模型进行了仿真。仿真结果表明,该模型能够有效地描述在协作过程中的动态行为,利于分析和验证,并且易于实现。     

基于赋时着色Petri网的协同工作建模和性能研究

提出了利用赋时着色Petri网(Timed Colored Petri Net)对协同工作进行建模和性能分析的方法;从性能角度提出一种新的协调策略,即从任务动态分配的角度对协同性能进行分析,并比较了各种资源优化分配的不足之处;提出利用模糊策略的方式,按照协同成员(组)的不同能力,在满足完成时间的要求下进行任务分配,从而达到了整体协作性能提升的效果．同时,用Deisgn／CPN对该策略进行了仿真分析,其结果证明了该方法的有效性和可行性．所提的调度策略已在CooPDesigner系统中得以实现．     

基于Petri网的Job_Shop动态调度问题的模型和仿真

在定义了带有抑制弧的颜色Petri网的基础上,建立了Job_Shop动态调度问题的模型。该模型充分考虑了机器维护、机器故障和工件优先级三种情况。最后,以CPN Tools为工具,结合一个Job_Shop调度问题实例,对模型进行了仿真研究,并对结果进行详细的分析。仿真结果表明,提出的模型具有较强的动态响应能力和有效性。     

基于着色Petri Net的教育突发事件应急预案模型构建与分析

教育突发事件一旦发生,不仅会影响学校正常的教学科研秩序,更可能产生一系列不良的连锁反应,而合理的应急预案可以为指挥人员提供有效的决策信息,有效减少不良反应的发生.围绕"组织体系→运行机制→应急保障→监督管理(ORES)"流程,提出基于着色Petri Net(CPN)的教育突发事件应急预案模型,并通过校园突发火情案例验证CPN的基本性质,将突发事件信息处理、Petri Net建模和应急预案知识表示三者紧密结合起来并进行理论验证,以实现多领域的融合和系统建模,为应急预案系统化和数字化的实现奠定基础.     

云环境下的程序运行性能自适应模拟方法研究

针对Julia程序运行的时限约束,提出一种基于有色Petri网的程序运行性能自适应模拟方法。面向特定领域构建适应底层计算资源特点的工具库,抽取针对Julia语言的计算原语;程序员通过Julia语言实现原语,动态选取领域工具,适应运行时限约束。结合图像对象识别案例,构建Colored Petri Net模型,借助CPN Tools工具模拟运行,自动优化备选方案。模拟实验表明,基于工具库的性能标定,CPN模拟得到的工具库映射方案接近最优。     

面向对象Petri网技术在系统建模中的应用

面向对象Petri网将面向对象技术与Petri网相结合,利用对象的封装及继承等特性,降低了所建立系统模型的结构复杂性,增强了其可重用性和可剪裁性.系统的面向对象Petri网模型(OOPN)由对象模型(OPN)及对象联系模型(OCN)组成,前者描述对象内部的状态变化细节及与外部联系的接口,后者描述系统中各对象间的联系.分析了面向对象Petri网技术在各种复杂系统建模问题中的应用,并以电梯群控系统的建模为例,从电梯群控调度的角度,详细给出了OOPN模型的构建.     

一种基于CPN的协议测试序列生成方法

针对状态空间规模较大的协议,提出了一种基于着色Petri网CPN(ｃolored ｐetri ｎet)、面向属性的协议一致性测试序列生成方法。 首先, 构建被测协议规范的CPN模型, 即协议模型, 并将被测协议的若干功能属性采用CPN进行形式描述, 形成属性模型。 提出了属性模型到协议模型的状态投影算法、模型状态空间的路径匹配算法和搜索算法, 基于这些算法给出了一种完整的基于属性的测试序列生成方法。 该方法不但可以有效避免协议规模庞大所导致的状态爆炸问题, 而且还对测试中的PCO库所进行了特殊标识, 完成测试序列中可观察元素的自动提取处理, 使得处理后的测试序列可直接用于协议实际测试过程。 为有效验证所提测试序列生成方法的可行性, 开发了一套实现该方法的软件, 并应用于HMIPv6协议的实际测试过程中。实践表明, 这套软件可以对较为复杂的协议一致性测试过程提供强有力的支持。     

故障诊断的模糊Petri网模型

针对故障诊断系统知识具有不稳定性和模糊性的特点，给出了Petri网的定义和故障诊断的模糊Petri网模型，并以实际故障诊断为例，说明了该模型具有直观，表达能力强和易于推理的优点。     

基于TPN的柔性装配系统建模及其动态性能分析

以某真空开关厂的柔性装配系统为分析对象，建立了系统的延时Ｐｅｔｒｉ网模型，对系统的动态性能进行了仿真分析和定量计算，并对系统中的工位分配方案，操作运输时间及作业控制策略等进行了优化，文中提出的模型和分析方法对柔性装配系统的设计和研究具有普遍的借鉴意义。     

基于Petri网的自校正模型

在增加Petri网标识的冗余度基础上，通过构造监督矩阵和冗余矩阵，提出了具有自校正能力的Petri网模型；给出了Petri网有效的递推寻错法，该方法不仅能够检测和纠正Petri网中出现的故障，而且可以给出实际对象网络中与故障相关的进程；利用不间断电源的Petri网模型验证了递推寻错法的正确性以及在实际应用中的可行性．     

面向对象Petri网及其在告警服务代理软件中的应用

首先介绍面向对象Petri网(OOPN)的定义和图形表示法,接着以告警服务代理软件设计为例,对其OOPN进行了详细分析,最后给出该系统实现的主体代码结构。     

基于PN的可重入医学检测调度系统优化研究

基于一类具有可重入特点的医学检测过程的设备调度问题,研究了具有约束条件的优化解.首先分析了调度约束条件和优化目标,建立了其Petri Networks(PN)形式化模型,并分析了其规则调度系统的稳定性和其他性能.然后利用PN模型和调度约束条件解出调度可行解结合对医学检测部分工序要求连续的基础上建立时间约束矩阵,对可行解进一步优化,最终得到满足所有约束条件的优化可行解.通过对实际医学检测系统的实例分析和CPN Tools仿真,结果表明所建立的模型和方法的有效性.     

基于有色Petri网的TII协议建模与分析

变送器独立接口(TII)协议有不同的应用方法且存在实施差异,需要对其进行建模、分析和验证.文中针对不同通道类型,建立层次化的TII协议有色Petri网(CPN)模型;采用数据传输平均延时、通道利用率、数据传输速率、数据帧丢失率作为性能评价指标,借助CPN Tools仿真软件对模型进行了性能分析;讨论了接口速率、采样速率比、采样数据长度、缓存队列长度等接口参数对性能指标的影响,提出了可控连续采样、增加通道数据长度、虚拟多通道、后进先出缓存及先进先出丢包等提高模型性能的方法与措施.该模型的实际应用表明,当STIM的通道类型为带缓存数据序列型时,数据帧丢失率为0,数据传输速率为1500B/s,数据传输平均延时为0.21ms.     

多媒体OCPN同步模型的研究及改进

Petri网作为一种描述系统行为的形式化工具，尤其擅长描述多媒体的同步问题，由此出现了诸如OCPN等多媒体同步模型，然而，这些模型仅能描述多媒体之间的合成同步，对于解决分布式环境下的多媒体同步问题却显得不足。本文提出了一个分布式交互多媒体同步模型，该模型可以较好的解决分布式多媒体系统的交互与同步问题。