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

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

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

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

单兵系统过程模型研究

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

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

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

基于HTCPN的装备维修仿真与资源需求确定

针对维修工作分析法(MTA)确定维修资源繁琐复杂,不能体现占用型资源的占用与释放过程的问题,提出了采用Petri网理论来描述维修过程的方法。考虑维修工作特点,对Petri网进行改进,使用层次时间颜色Petri网(HTCPN)建立装备维修过程模型。运用基于JAVA环境下的PIPE软件对模型进行分析和仿真,直观展示出资源占用、释放和消耗的过程,并提取维修过程所需维修资源。以某自行发射装备液压系统故障维修为例,验证了该方法的合理性和有效性。     

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

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

一种面向故障诊断的模糊Petri网模型

根据故障发生具有并发性，故障诊断具有模糊性等特点，提出了一种面向故障诊断的模糊Petri网（FPN）模型。从模糊产生式出发，提出了一种新的模糊推理算法。解决了现有算法中不能准确处理产生式规则中“或”逻辑的问题，以及传统的基于模糊Petri网的可达图求解模型描述复杂、推理缺少智能的问题。使用简单的矩阵计算，减少了诊断时间，最后通过飞机故障实例验证了模型及推理算法的正确性和有效性。     

维修机构Petri网建模方法研究

在分析维修机构的任务、过程和资源等建模要素的基础上,提出了面向任务的维修机构性能建模框架.分析比较了离散事件系统建模方法,提出了Petri网在维修机构建模中的优势.研究了维修机构基本建模元素的Petri网实现方法和系统冲突的三种消解策略,包括变迁优先级、可实施谓词和随机开关.为提高建模效率和简化模型结构,提出了系统合成、逐步求精和逐步抽象相结合的Petri网系统建模方法,研究了模型的解析和仿真分析方法.该方法满足维修机构形式化描述和定量性能分析的需要,可进行维修保障效果分析与优化.     

基于Petri 网的防空兵群指挥信息结构建模分析

针对防空兵群决策组织结构的合理性问题,运用Petri网方法对防空兵群指挥信息结构进行建模分析。从指挥信息流程的角度出发,结合基本决策单元的指挥信息结构模型和防空兵群指挥组织结构,对其时延性、信息流路径和最大流通率进行分析。结果表明:该方法能得到按级指挥体制下的防空兵群指挥信息结构的Petri网模型,为防空兵群决策组织结构的设计和完善提供参考。     

多无人机协同工作流建模与分析

多无人机协同执行任务能够提升无人机的作战效能和生存性,而协同方法是协同的基础;描述了基于工作流的多无人机协同方法;通过分析单个无人机工作流执行过程,建立单个无人机工作流,研究了协同工作过程;引入Petri 网理论,使用基本 Petri 网形式化描述协同工作流,构建了多无人机协同工作流 Petri 网模型;针对所建立的协同工作流 Petri 网模型,通过构建和分析相应的可达图,验证了多无人机协同工作流的有效性;结果表明：所建立的多无人机协同工作流是有效的,基于工作流的协同方法是可行的。     

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

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

一种扩展染色模糊故障Petri网的故障分析方法

针对传统故障诊断方法在模拟故障传播及诊断推理过程中存在不确定性等问题,提出一种基于扩展染色模糊故障Petri网的故障诊断分析方法;首先,在采用传统的Petri网模型描述系统故障状态的基础上,引入令牌、库所染色规则,并进一步结合模糊产生式规则与矩阵运算进行故障正反推理,提高模型的容错性;该模型正向推理采用变迁点火判别矩阵实现故障状态的智能评价,反映故障传播特性;逆向推理采用最小割集理论方法进行优先诊断,提供诊断次序,避免诊断的盲目性;最后以气源系统为典型应用对象,验证上述方法的有效性。     

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

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

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

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

基于模糊概率Petri网的弹载二次电源故障诊断模型

针对某型弹载二次电源的故障诊断问题,采用模糊Petri 网进行建模验证。在传统模糊Petri 网的基础上, 通过引入变迁概率信息,阐述模糊产生式规则及基于矩阵的推理运算,并对其进行建模验证。结果表明：模糊概率 Pteri 网适用性强,基于矩阵的推理运算清晰、高效,易于诊断模型库的扩充、维护。     

基于对象Petri网的炮兵侦察网的作战模型

将系统分解成敌我两大子系统，再分成若干个独立实体。利用对象Petri网构建炮兵侦察网的OPN模型，实现复杂电磁环境下炮兵侦察网的侦察与信息分发的静态与动态描述。其各子网的OPN模型包括：目标类、雷达类、声测类、观测所类、我／敌方信息中心类、敌方电子干扰类的OPN模型。该研究可为进一步对其侦察效能进行动态评估和作战使用提供理论依据。     

基于改进Petri 网的装备维修资源需求预测

为解决维修工作分析方法在装备维修资源预测中存在的不足,提出一种用维修工作Petri网(maintenance task Petri net,MTPN)来描述装备维修过程的方法.基于Petri网理论并结合装备维修过程的特点,以某装备液压机构的故障维修为例,建立MTPN模型,并得出所需维修资源的种类和数量.实例结果表明:该方法对装备维修过程的描述清晰直观,得出所需装备维修资源的种类和数量准确详细.     

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

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