基于Petri网的故障树分析方法

故障树是事件间的一种布尔逻辑关系模型，基于故障树的诊断方法的广泛应用由于实际故障树分析过程NP困难问题而受到妨碍。Petri网作为一种特殊的有向网，它能反映系统的状态变化和事件发展，尤其适合于表达故障的传播关系。本文因此提出了两种基于Petri网的改进方法，与下行法相比，用该方法寻找最小割集和最小路集能有效地节省计算时间，提高推理速度和效率，并且其算法便于计算机实现。     

对象Petri网模型的并发软件仿真技术的研究

并发软件的性能评价是提高软件开发质量的重要手段之一．本文重点讨论了将面向对象与Ｐｅｔｒｉ网相结合的思想用于并发软件开发中的系统建模,以及基于对象Ｐｅｔｒｉ网（ＯＰＮ）的并发软件系统的仿真技术,同时,也探讨了实现一个基于ＯＰＮ的动态仿真工具所面临的关键技术和解决方法．实践结果表明,文中讨论的实现机制与处理方法是有效和可行的．     

基于Petri网的交通运输网络最短路径算法

首先阐述了Petri网的基本原理,在此基础上利用"Petri网仿真器"建立交通运输网络模型,通过具有并发机制的编程语言来实现求交通运输网络最短路径的基本算法,然后针对该基本算法存在的缺陷,在假设前提下,提出了改进的仿真算法。     

随机高级Petri网在空中交通管理中的应用

首先给出了Ｐｅｔｒｉ网，高级Ｐｅｔｒｉ网和随机高级Ｐｅｔｒｉ网的定义。然后，在介绍空中交通管理系统中的机场终端区的基础上，为机场终端区建立了Ｐｅｔｒｉ网图模型。最后，借助Ｐｅｔｒｉ网仿真器，利用机场终端区的Ｐｅｔｒｉ网图模型，进行机场终端区管理系统的仿真优化分析。     

基于Petri网的航空维修分解装配序列规划及其应用

Petri网可用于分解装配序列规划中的关系表达与推理，对于零部件数量大的航空发动机，通过求解Petri网可达集搜索目标分解装配序列的方法是NP难度的。基于装配Petri网与分解Pe试网互逆的观点，分剐采用启发式搜索算法和优先级调度算法求解搜索最小可分解和最大可装配变迁集，然后构造最简Petri子网达到降低搜索难度的目的。并将分解装配序列规划算法用于发动机零部件跟踪控制过程中，达到降低和防止维修差错的目的。     

用Petri网仿真方法实现机械加工系统的规划设计

为了保证所设计的机械制造系统(MMS)能够获得最大的经济效益,必须对系统进行合理的规划设计。本文首先引入MMS规则设计中的几点原则,以及计算机仿真涉及到的生产调度问题及其决策规则,论述各生产调度规则在Petri网模型中的实现方法。并对Petri网运行中的冲突问题引入了解决冲突的规则。其次,基于包括工件流和刀具流的MMS的Petri网模型,根据最小事件时间推进原理,实现Petri网模型的计算机动态仿真,即实现MMS的计算机动态仿真。最后,将仿真程序应用于仿真实例,从而有效地评价MMS的规划设计方案。     

面向复杂航空电子系统的GSPN 任务可靠性建模研究

考虑资源备份与重构的动态特征,采用广义随机Petri 网对具有资源备份机制的典型航空电子系统架 构进行可靠性建模,通过在TimeNet 平台中开展模型仿真,基于功能模块的可用度指标对系统任务可靠性进行 了评估应用,得到的瞬态仿真结果有效预测了该系统可用度时域特性,稳态分析结果经数值验证具有较高的精 度,该建模方法为航空电子系统动态可靠性评估提供了参考。     

智能反舰导弹攻防作战的Petri网模型描述

针对未来海战的发展趋势,发展一种远程化、智能化、多平台反舰导弹成为一种必要。文章构建了智能反舰导弹作战运用过程,并应用Petri网模型对智能反舰导弹攻防对战过程进行了描述。     

基于Petri网的分布式编队小卫星星间通信仿真平台研究

针对编队小卫星星间通信的要求,提出基于Petri网的分布式编队小卫星星 间通信系统仿真平台。首先对编队小卫星星间通信系统进行TTDPN(T\|Timed Discrete Pe tri Net,TTDPN)建模,并建立该模型与分布式仿真平台间的映射。根据该映射关系设计编 队小卫星星间通信仿真平台的逻辑结构和数据流,搭建分布式编队小卫星星间通信系统仿真 平台。联合空间环境、姿态和轨道等分系统,重点对星间通信系统中信道编译码模块和扩频 解扩模块中的关键技术进行仿真验证。仿真结果表明：基于Petri网的分布式编队小卫星星 间通信系统仿真平台能够显著缩短仿真时间,提高仿真精度和仿真结果的置信度,提高通信 系统中模块的设计效率。
     

协同维修过程的合成Petri网建模与分析

针对协同维修过程中共享资源约束、工序衔接时机和维修工时不确定3大问题,建立了一种基于合成Petri网的协同维修过程模型.该模型采用三参数的数组来描述不确定维修时间,引入活动图形来描述协同关系和建立共享资源控制网来约束资源派遣次序.给出了协同维修过程合成Petri网构造算法.解决了协同维修过程分析中3大难点,合理表述了协同维修活动依赖关系,实现了对协同维修过程的规范化描述.实例分析表明该模型能够帮助维修工程部门预测维修完工时间和把握工序衔接的时机,并提出共享资源优化配置的建议.