Petri网及其维修建模应用研究

Petri网描述异步并发的能力和形象直观的图形表示，使之成为系统维修过程模型描述的有力工具。文章在对Petri网的基本概念、模型描述方法作简要介绍基础上，分别就不可修系统、可修系统、维修资源共享、维修优先级以及维修费用等维修过程问题，进行了Petri网模型描述。     

基于Petri网的虚拟维修培训规划技术研究

针对虚拟维修培训中可能存在不同培训任务的问题，建立了基于Petri网的培训任务规划模型，定义了Petri网广义变迁的扩展属性，提出了利用Petri子网来控制具体任务仿真的基本步骤；通过对变迁相关属性的合理编码，解决了从总体Petri网中提取Petri子网的问题，从而实现了Petri网对不同培训任务的可规划性。最后将结论应用于某齿轮减速箱的拆卸任务规划中，证明任务规划方法的有效性。     

基于Petri网的舰船综合电力系统故障诊断方法

针对舰船综合电力系统的特点,利用Petri网技术对综合电力系统故障进行诊断.Petri网模型清晰直观,符合故障处理过程因果关系,其基于矩阵运算的推理计算能满足快速故障诊断的要求.算例测试结果表明了该方法的正确性和有效性.     

SPN运用于对船坞监控系统的性能分析及研究

本文研讨随机Petri网（SPN）应用于对船坞监控系统的性能分析，文中描述了随机Petri网的定义及其性能分析方法，并结合一个船坞监控系统的实例，运用随机Petri网的性能分析方法，给出了该监控系统的随机Petri网模型和系统作业概况的标记概率和标志概率。实例表明：SPN模型及其性能分析方法，能为具有随机过程的系统提供一种十分有用的分析工具。     

基于随机Petri网的网络化防空导弹系统建模方法研究

文章通过建立执行单任务的网络化防空导弹系统的随机Petri网模型,分析系统作战状态的变化规律,得到系统作战效能评估方法。在此基础上,建立了系统可执行多任务作战的复杂随机Petri网模型,实现了网络化防空导弹系统信息共享和作战资源间协同调配。     

基于Petri网的现代造船车间工作流建模研究

面向生产过程控制,分析了现代造船车间生产作业流程与作业活动,提出以工作流管理系统为集成平台的车间生产过程管理,应用模块化着色网MCPN建立系统过程模型.动态适应性的系统过程模型是以基本子流程为模块,以作业任务为核心,自下而上建立的模块化Petri网结构,可体系化、参数化描述现代造船车间生产物流与作业流.     

随机高级 Petri 网对某型舰载机编队着舰起飞过程的动态仿真

舰载机编队着舰是一个典型的动态行为过程，航母甲板可看作是单跑道的降落（起飞）平台。Petri网是对离散事件动态系统进行分析建模的重要工具，利用其动态性可对舰载机编队着舰的进近过程进行描述。文中介绍了几种Pe‐tri网的定义，分析舰载机着舰流程，建立进近终端区模型，通过Petri网仿真器模拟动态效果，并给出结果。     

基于随机Petri网的指挥流程性能指标分析

Petri网是一种很有效的模型描述语言,适用于描述含有并行成分的系统。文章运用随机Petri网同构马尔可夫链的原理,对海上编队作战准备阶段的指挥流程性能指标进行分析。     

基于改进Petri网的船舶电力系统故障诊断

将Petri网理论用于船舶电力系统故障诊断中,提出了一种改进的Petri网故障诊断模型。在基本Petri网诊断模型的基础上引入模糊推理规则形成模糊Petri网,说明了该方法的模型构建、推理过程及解析方法的表示。利用该方法对船舶电力系统进行故障诊断使推理过程简洁、诊断快速、诊断结果也更科学有效。     

混合动态系统故障诊断研究进展

混合动态系统是指离散和连续特性共存且相互作用的一类复杂关系。本文对这类系统的故障诊断问题及其研究进展作了综合评述,主要包括描述混合动态系统故障诊断问题的模型和混合动态系统的故障诊断方法,尤其对于Petri网、混合键图和混合逻辑动态模型的故障诊断算法作了较为详细的介绍和评论。     

基于事件的舰载机出动回收作业流程建模方法

为构建基于舰载机出动回收作业流程剖面分析规范化的合理逻辑模型,采用IDEF0设计框架及Petri网工具对其进行离散事件建模,搭建工程经验与仿真模型间的桥梁。根据工程经验,依照面向过程的IDEF0设计框架,理清舰载机出动回收作业流程中各组件系统间的信息交互和互操作关系,完成活动模型,以明确该流程中的事件触发规则和顺序,并根据活动对应变迁、信息流对应库所的原则,构建舰载机出动回收作业流程Petri网模型,形成工程研制者及仿真研发者均能接受的舰载机出动回收作业流程逻辑仿真模型,该Petri网模型也可直接应用于舰载机出动回收作业流程离散事件系统的功能仿真。     

基于有色Petri网的虚拟维修过程建模技术研究

针对虚拟维修过程建模问题,建立一种基于有色Petri网的虚拟维修过程建模方法。在分析模型需求的基础上,基于有色Petri网理论,表达维修资源模型,描述维修操作之间的多种逻辑关系,并给出一般的建模步骤。引入资源库所的概念,解决模型表达中由于资源种类繁多造成的表达不清晰、难以理解的问题;定义一种"选择"变迁模型,丰富维修过程逻辑关系的表达方式。通过实例验证该建模方法的可行性和正确性。     

远程UUV指挥控制流程分层Petri网建模及延时分析

对于控制节点多、流程复杂的远程UUV指挥控制流程建模及延时分析问题,传统建模方法往往难于对其进行详细描述和分析.文中建立远程UUV指挥控制流程分层延时Petri网模型,采用基于Petri网的层次化建模方法提升模型对复杂流程的表达能力,将变迁引入时间参数,使模型具备对时间的描述和分析能力,并给出不同结构的延时计算方法.仿真结果表明所建模型可用于对远程UUV指挥控制流程进行分析和计算,分析方法正确、适用性好,可为远程UUV指挥控制系统评价及完善提供参考和技术支持.     

Applying a semantic information Petri Net modeling method to AUV systems design

This paper informally introduces colored object-oriented Petri Nets(COOPN) with the application of the AUV system. According to the characteristic of the AUV system's running environment,the object-oriented method is used in this paper not only to dispart system modules but also construct the refined running model of AUV system,then the colored Petri Net method is used to establish hierarchically detailed model in order to get the performance analyzing information of the system. After analyzing the model implementation,the errors of architecture designing and function realization can be found. If the errors can be modified on time,the experiment time in the pool can be reduced and the cost can be saved.     

船舶电气智能设计数字化信息模型研究

针对船舶智能设计对各种电气信息的需求,首先分析了智能设计模式下船舶电气信息的构成.然后,探讨了船舶电气设计流程、设计任务等管理信息和产品、设备信息的集成方法及其表达形式.最后,构建了船舶电气智能设计数字化信息模型的数据库框架,介绍了其在船舶智能设计软件开发中的应用情况.     

Intelligent Co-ordinate Control for Mating Process of Underwater Vehicle Based on TFPN

In order to reduce time and improve the probability of successful matting it is useful to co-ordinate between the movement control and mating process of the underwater vehicle. Because it is hard to control with the common method under the condition of mating process, the hierarchical intelligent control is introduced. Timed fuzzy Petri net (TFPN) , which is the integration of PN and fuzzy reasoning, is used in the design of coordinate level of hierarchically intelligent control. It made the control process better in reflecting the characteristics of time-driven, event-driven, fuzzy information and so on. The test shows that TFPN could shorten the time of mating and enhance the efficiency.     

保障使命任务分解与流程集成方法研究

保障使命任务分解是保障流程分析与建模的基础,运用美国国防部体系框架（Department of Defense Architecture Frame—work,DoDAF）,给出了体系使命分解的原则与建立保障任务静态模型的方法,在任务分解的基础上,建立了保障任务静态模型,提出了基于Petri网的保障体系集成建模方法,给出了模型的概念视图,介绍了流程动态规划模型的建立方法,运用上述模型与方法对实际案例进行分析与应用,验证了模型和方法的有效性。