考虑多类资源的多任务并行维修过程Petri网建模

针对基本Petri网在建立多种任务共享多类资源情况下的复杂并行维修过程时存在的结构复杂化问题,应用网抽象原理,由简入繁,将库所变迁网模型逐步转化为常量弧有色网和有色网模型,由单类任务/单类资源、单类任务/多类资源模型逐步建立了考虑多类资源的多任务并行维修过程模型。采用Petri网仿真分析工具ExSpect对有色网模型进行了实例研究。结果表明：模型具有通用性,便于仿真实现。     

着色Petri网的装备维修工艺建模

通过对装备维修工艺过程及其特点的分析,确定了基于Petri网建模方法的维修工艺优化过程模型。首先依据基本的维修拆卸规则和Petri网建模规则建立了工序Petri网模型,在此基础上以维修人员和通用维修机、工具为主要资源约束建立了维修工艺过程CPN模型。最后,通过装甲装备某部件维修的工艺过程仿真及数据分析确定了该建模方法的有效性和实用性。CPN较好地描述了装备维修工艺过程中的选择、冲突等事件,对指导维修工艺实践和工艺优化起到了积极的作用。     

CPN在导航装备维修保障效能中的应用

有色Petri网(CPN)作为目前离散动态系统建模中最活跃的建模工具之一,不仅有充分的模拟能力和丰富的分析方法,还便于使用和理解.首先介绍了有色Petri网的一些基本知识,然后运用有色Petri网的建模理论对导航装备维修保障系统进行了描述和建模,并运用Design/CPN对具体实例进行了仿真实现,其维修保障效能结论证明了建模思想的可行性.     

基于Petri网的雷达对抗仿真建模研究

针对雷达对抗的作战过程,引入Petri网的数学方法描述雷达对杭侦察、雷达干扰、雷达干扰效能评佑3个作战行动,将雷达对抗战术规则与Petri网的实施规则相关联,并选用有效策略解决冲突变迁,建立雷达对抗的Petri网模型,解决了雷达对抗仿真建模过程中对并行、异步和随机时间等复杂离散事件的描述问题.     

基于Petri网的维修资源运用策略

维修资源运用策略研究对于提高维修性能具有重要意义。分析了装备维修过程中的资源冲突和任务优先顺序、资源分配策略、并行任务共享资源及交叉维修等资源运用策略。采用Petri网建立了系统模型,运用变迁使能优先级、抑制弧、可实施谓词等Petri网冲突解决方法实现不同资源运用策略建模。应用模型进行了典型案例的资源运用策略研究,实例体现了资源运用策略对装备停机时间等指标的影响。模型为提高维修资源运用效率提供了可行的技术途径。     

天基信息支援下装备战场抢修有色Petri网模型研究

对天基信息支援下装备战场抢修活动过程进行了探索,运用Petri网建模工具建立了天基信息支援下装备战场抢修有色Petri网模型,将组织结构图、功能图和信息流动流程图集于一身,实现了系统的静态结构和动态过程的统一。模型直观、易于理解,对模型运行规则进行了详细说明,有利于仿真编程的实现。通过模型的深入研究,能够加深对天基信息支援下装备战场抢修规律的认识,进一步提高装备战场抢修能力。     

基于HTCPN的飞机备件需求预测方法

针对航空兵部队飞机备件需求预测问题,提出了一种基于分层赋时着色Petri网(Hierarchical Timed Colored Petri Net,HTCPN)的飞机备件需求预测方法.根据飞机维修保障工作内容与流程,运用CPN Tools软件,构建飞机维修保障工作HTCPN总网仿真模型,以及故障维修工作HTCPN子网仿真模型.提出了备件需求量确定规则,建立了基于飞机出动架次率的备件需求预测模型.通过算例分析,验证了该方法的科学性和有效性.     

基于有色Petri网的卫星信息系统作战效能仿真研究

卫星信息系统在军事上的广泛应用使其成为现代战争中不可或缺的组成部分,作战部队对它的依赖程度越来越高,对卫星系统的对抗也随之受到越来越广泛的重视。但如何评估纷繁复杂的卫星信息系统效能及其对抗效能一直是一个难题。本文在分析有色Petri网的基础上,将有色Petri网的仿真思想应用到卫星信息系统及其对抗中去,提出了基于有色Petri网的卫星信息系统及其对抗作战效能的仿真思想及评价指标,从总体上给出了一种评价卫星及其对抗作战效能的方法。     

基于Petri网的装备维修过程建模与AnyLogic仿真

针对装备维修重修复质量、轻过程质量,导致效率不高、浪费较重、缺乏过程管控等问题,建立了装备维修过程库所/变迁网模型和着色时间Petri网模型,给出了装备维修过程动态性、随机性、时间性描述,提出了不同修理技能人员工序完成时间的计算方法,运用AnyLogic软件进行了装备维修过程仿真,得出了不同人员组合所对应的不同维修时间和工序返工情况,为维修过程优化与验证提供了一种思路。     

物元Petri网建模方法及其应用

传统Petri网理论难以处理具有多属性对象复杂离散系统的建模问题,物元Petri网结合了物元理论能够很好地解决这一问题,是值得进一步研究并应用的新的复杂离散系统建模方法。将物元Petri网定义成一个5元组,借用物元的概念定义了物元托肯,建立了物元Petri网理论的运算规则,提出了物元Petri网并发及冲突的分析方法,并给出了建模步骤。以某设备从拆卸到修复的维修过程建模为例,给出了物元Petri网理论的应用示例。示例表明了物元Petri网在具有多属性对象离散系统建模中的优势。