基于Petri网的维修保障流程多层次仿真模型研究

基于Petri网的武器装备系统维修保障流程多层次仿真模型，从简单Petri网开始，用子网代替初始简单网的库所或变迁，自顶向下重复至理想的细化程度．系统的装备、资源及其动态协作关系用Petri资源、库所、变迁描述．其建模过程为：分析维修保障活动→划分活动为独立事件→建立保障流程描述的上层Petri网模型→分析独立的任务过程→得到子过程模型→基本事件的Petri网模型→利用模型仿真计算整个流程的参数及提出改进建议．并以飞机轮胎刹爆维修保障过程详述了该模型的建立．     

Petri网在海军战役装备保障指挥中的应用

用Petri网建立的模型更有利于动态仿真,适合建模具有同步、并发、资源共享的系统。利用Petri网对海军战役装备指挥信息流程系统进行建模,采用Exspect对装备保障指挥信息流程模型进行仿真,以分析模型的运行效能。通过对海军装备保障指挥信息流程进行结构优化的研究可见：Petri网理论和相应的仿真软件（Exspect）提供了一个非常有效的优化分析工具;扁平式的指挥结构更有利于装备保障信息的快速流通。     

基于Petri网的导弹技术保障能力评估模型研究

介绍了Petri网理论的基本原理,分析了Petri网的技术特点,根据导弹技术保障的特点研究了模型建立的基本原则,建立了基于Petri网的保障能力评估模型.     

基于Petri网的鱼雷保障虚拟训练系统

结合当前鱼雷武器保障训练实际需求,设计了基于虚拟样机和仿真控制技术的鱼雷保障虚拟训练系统方案.详细论述了基于维修知识描述Petri网的鱼雷保障过程,通过分析其保障资源、约束条件和操作过程建模,得出了鱼雷保障过程的建模原则,设计了该虚拟训练系统仿真流程.通过仿真实例说明,Petri网能很好地解决系统中的资源及作业结果对操作过程的约束问题.     

基于着色Petri 网的混杂监控系统建模分析

针对现有建模分析方法在混杂系统中系统建模和性能分析中表现的不足,提出一种基于离散事件监控框架的混杂系统仿真建模分析方法。应用着色Petri网技术构建混杂系统离散事件系统模型框架,内嵌连续系统模型,利用Petri网标识线性约束实现系统动态行为仿真分析和基于局部关联矩阵的Petri网监控设计。基于现有的离散事件动态理论的监控分析,采用离散事件系统Petri网监控方法实现混杂系统监控行为分析。并通过导弹拦截系统案例进行验证,实践结果证明了该混杂建模分析方法的可行性。     

基于WF-SPN的装备调拨供应模型

装备调拨供应是部队装备保障的重要组成部分,其时间性能对装备保障有重要影响。总结了工作流-随机Petri网模型的定义和4个基本结构形式,分析了其性能,进而在分析装备调拨供应特点的基础上,从顶层和部队自领2个部分对装备调拨进行了分析,运用工作流-随机Petri网模型对装备调拨供应的流程进行描述,分析了模型的平均时间性能。该模型的应用,可以为提高装备调拨供应效率,保障部队战斗力提升提供支持。     

基于Petri网的复杂装备保障流程涌现问题分析

针对大型复杂装备保障需要大量保障装备协调工作,保障流程约束条件多、耦合性强的特点,分析了由于流程时间延迟,导致规定时间内无法完成保障任务的涌现现象。讨论了延迟拥堵和故障堵塞两种保障流程涌现现象的产生机理及其特征参数,通过时间Petri网分析了保障流程时间延迟的传播模型,并进行了实例仿真分析,重点研究了时间延迟引起的拥堵涌现问题,分析了不同故障率情况下的涌现现象,验证了模型的有效性。     

航空电子综合系统可靠性建模与分析

文中通过动态故障树与随机Petri网综合分析方法分析航空电子综合系统可靠性,确定了或门、与门、表决门和热贮备门等典型故障逻辑门的Petri网模型,建立了航空电子综合系统的可靠性Petri网模型,将面向对象的程序设计思想应用到可靠性Petri网模型仿真过程中,为航电系统的设计和维护进行了探索.     

基于广义随机Petri网的鱼雷系统级测试性参数确定方法

在装备论证阶段,提出科学合理的测试性指标要求,可以有效指导测试性设计。目前鱼雷武器系统还缺乏有效的测试性参数定量分析方法,在综合比较现有各种测试性需求分析模型的基础上,提出了一种基于广义随机Petri网的测试性建模方法。通过构建鱼雷武器系统基层级维修保障流程的广义随机Petri网模型,得到状态可达图,并利用同构法,求解了测试性参数与可用度之间的关系;以可用度和平均故障修复时间为设计指标,对国外某型鱼雷的测试性参数进行了求解,并利用Petri网 建模工具PIPE4.3.0软件进行了仿真分析,验证了模型和算法的有效性。     

基于Agent的Petri网在舰炮系统中的应用

作为传统的舰载武器装备,舰炮武器系统需要向着智能化和自动化方向发展.Agent技术和Petri网理论已成为复杂系统设计和分析中两种必不可缺的工具,这两种技术为舰炮武器系统的研究提供了重要的平台.基于Agent的时间Petri网建模(AOTPN)结合了Agent技术和Petri网理论的优点,即解决了Petri网模型的复杂性问题,又为Agent系统提供了形式化的描述.在此基础上建立了舰炮武器系统的AOTPN模型结构清晰,更好的反映了系统的工作流程和各设备间的交互关系.对模型的分析结果表明,这种方法是有效的,提出的舰炮武器系统协作机制是可行的.     

Petri网在PLC控制系统程序设计中的应用

PLC按Petri网运行,实时接受传感器信号作为主令信号,并按Petri网确定的关系,决定执行元件是否执行,从而达到Petri网作为控制器的目的。从实例出发介绍基于Petri网控制器的PLC程序的设计方法,包括Petri网控制器模型设计,以及PN模型转换为PLC梯形图,PLC梯形图程序的设计效率得到提高。     

基于分层着色Petri网的飞机战伤抢修系统建模

飞机战伤抢修的系统模型,基于分层着色Petri网理论建立.即通过引入复杂库所从复杂的主Petri网中划分出子网对系统进行建模,并用复杂库所替换可从主Petri网中分离的子网,这些子网在原来的主Petri网中留下的位置,由一个等价的复杂库所代替,从而简化主Petri网.     

运用工作流管理系统的装备保障指挥模型

采用Petri网建模方法,参照工作流参考模型组件和接口,基于VC 开发了图形化的建模工具.以车辆装备大中修管理为例,建立基于Petri网的工作流业务过程模型,映射成经典Petri网,并将其转换成工作流过程定义语言.用ExSpect对工作流模型仿真,以分析模型的正确性及运行效能.     

基于灰色系统理论的电子战人力资源规划分析

从现代智能化战争的电子战人力资源需求角度出发,分析现代智能化战争中电子战人力资源规划问题, 提出基于灰色系统理论的电子战人力资源规划分析思路和建议。建立兵力需求规划模型、灰色系统Verhulst 预测模 型和电子战人员补充模型,将以往以定性分析为主的问题进行定量求解,并通过实际人员数量算例对模型进行分析。 结果表明：该模型是有效的,可对电子战各级指挥员提供切实有效的人力资源规划决策建议。     

基于MC的电子对抗情报系统ESCPN模型性能分析

针对基本Petri网对电子对抗情报系统描述能力不够的缺点,采用层次化的结构和面向对象的思想,提出一种扩展的随机着色Petri网（Extended Stochastic Coloured PetriNet,ESCPN）模型。对Petri网结构、建模元素、执行规则等进行扩充,分析基于MC状态方程的各项性能指标,以电子对抗情报系统中的初级电子目标生产子系统ESCPN模型为例,应用所建立的性能指标对系统的时间性能进行分析。分析表明,ESCPN模型和连续时间的马尔可夫链（MC）是同构的,能加强模型的描述和分析能力。     

基于SHEL 模型的海军航空指挥引导效能

为解决航空兵与其他兵种之间高效协调的问题,对基于SHEL 模型的指挥引导效能进行探讨,分析人员、 软件、硬件、环境对海军航空兵作战指挥引导效能的影响,对各因素的影响作用进行阐述。根据SHEL 模型中各因 素对指挥引导作战效能的管控与制约,提出提高指挥引导效率及安全性的方法。该研究具有一定的实用价值,可为 打赢现代化信息战争提供参考。     

多传感器信息融合的模糊神经Petri网模型

将模糊产生式规则应用到多传感器融合系统中得到一种模糊信息融合方法，再用Petri网对此信息融合系统建模。在此基础上将人工神经网络与Petri网相结合，提出了一种多传感器信息融合的模糊神经Petri网模型。     

Petri网维修过程仿真模型的HLA邦元改造

Petri网维修过程仿真模型的HLA兼容性改造,采用面向对象方法分析维修过程仿真系统的运行过程,确定其与外界的信息交换能力,将维修过程仿真系统需向外公布和引入信息映射成对象类及其属性、交互类及其参数,确定维修过程仿真系统的SOM.并对其信息接口进行HLA改造,实现Petri网维修过程仿真模型与RTI的无缝连接.     

单兵系统过程模型研究

为了设计和论证单兵系统,提高系统的各项效能,需要对系统进行过程模型研究。系统过程建模采用了IDEF0方法和Petri网方法,并通过关联矩阵的方法,实现了IDEF0模型向Petri网模型的转化。IDEF0方法得到的过程模型,直观地描述了系统的业务过程和信息流;将IDEF0模型转化为Petri网模型,并对模型进行动态仿真,得到的统计数据,为系统设计提供依据。采用两种方法建模的优势在于可以兼顾模型的直观描述特性和动态仿真能力。