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

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

基于Arena 和Petri 网的雷达系统仿真

为研究雷达系统的逻辑行为和系统性能,提出一种基于Petri网和Arena的综合仿真方法。利用Petri网提供的工具,对系统逻辑行为进行单次仿真,分析系统的可行性;运用Arena对系统进行多次仿真,分析系统的性能。结果表明Petri网和Arena相结合是一种实用的系统建模分析方法,可以应用于系统逻辑行为分析和性能分析。     

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

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

单兵系统过程模型研究

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

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

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

DoDAF标准的系统效能评价

基于美国防部系统框架标准的系统动态性能测量和评价,以着色Petri网为仿真工具,用系统效能分析方法实现.以美军远程攻击部队ESG保卫太平洋上A岛为例,先分解出其防御系统进行CPN建模.包括预警机构、指挥中心、引导机构和执行机构等单元.选择系统在单位时间内摧毁威胁的数量和处理时间以及逃逸率作为评价系统效能的指标进行仿真分析,同时为系统设置不同的初始值,得到不同状况下系统的性能轨迹,由此完成评价.     

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

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

动态系统建模技术在战术导弹仿真中的应用

现代战术导弹已成为包括连续系统、离散采样系统和离散事件系统在内的混合系统,传统的连续系统建模方法已不适合导弹仿真需求。在对导弹模型中各类动态系统的时间特性和内部结构进行详尽分析基础上,综合运用模块组合和内部模型变换等动态系统建模技术构建了某型防空导弹仿真模型。利用该模型对导弹拦截机动目标进行了统计仿真和结果分析,模型输出的主要运动学参数与该型导弹遥外测数据非常吻合,仿真结果表明上述动态系统建模技术适合作为混合系统的导弹仿真。     

系统体系结构设计的一致性约束和检验

应用层次着色Petri网建立的系统可执行模型,以静态数据约束为基础,以动态行为验证为主体.通过数据字典、数据关系、产品数据的约束实现静态数据一致性约束.再应用Petri网结构分析法和状态空间分析法确定模型的数据流、规则触发、状态转换、功能执行的行为,实现动态数据一致性检验.并以区域防空系统为例,通过拦截和执行功能的动态一致性检验,建立拦截和控制可执行模型,由仿真确定设计模型的动态一致性.     

基于Petri网/JavaBean的物流系统建模仿真技术

基于Petri网／JavaBean的分层有色Petri网(HCPN)物流系统建模，通过建立递阶层次、对象，子网和整个HCPN等模型，将其接入主Petri网(PN)，用颜色描述Petri网中流动的令牌．以汽车总装为例，将物流过程分解成若干子网和HCPN模型．并以HCPN仿真模型为核心，定义通用接口、建立与PN相应的模型组件．用户根据现场布局进行组态，通过拖放和连线建立模型间的联系构成HCPN仿真系统．     

基于模糊推理Petri 网的无人机智能决策方法

为了提高动态不确定环境下无人机的自主控制级别,建立一种基于模糊推理Petri网的无人机智能决策方法。以 FRPNs 结构实现规则推理,按照规则分析系统的推理过程,并基于模糊推理 Petri 网的智能决策进行仿真。仿真结果证明：该方法提高了决策的实时性,实现了无人机攻击和防御的自主决策。     

基于Petri 网的给水保障方案建模与优化

针对现代战争中给水保障面临着保障环境复杂,保障空间扩大,净水难度大,供水保障强度大等问题,提出一种基于Petri网的给水保障方案。利用Petri网可对系统资源动态和静态分析的特点,在分析给水保障方案流程的基础上,建立基于Petri网的保障方案流程模型,并对模型进行了详细分析,给出优化的具体方法,实现了给水保障根据战场态势动态调整的效果。该模型提高了给水保障的能力,使给水保障适应现代战争的要求。     

基于广义随机Petri网的混合冗余系统可靠性建模

针对冗余系统动态性能难以描述、共因失效影响计算复杂的问题,提出考虑共因失效的广义随机Petri网络(GSPN)模型。在对典型冗余结构进行建模的过程中,引入冲击库所/变迁的概念拓展Petri网建模表示方法,并利用可达图验证了模型的可用性,有效描述了系统的动态失效行为。利用GSPN模型时间变迁特性,合理设计网络结构,实现单元以及系统的故障状态信息保持。在提出的GSPN模型基础上,运用蒙特卡洛仿真的可靠性评价方法生成系统寿命数据,计算系统的可靠性。以某型导弹PLC系统为例进行从单元到系统的模型搭建,实现多种冗余结构混合的系统可靠性求解。研究结果表明：所提方法与考虑共因失效的传统解析法的可靠性差值在0.02以内,验证了方法的可行性。     

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

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

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

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

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

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

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

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

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

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

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

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