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

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

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

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

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

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

维修保障中资源调度的petri网建模研究

维修资源是维修保障系统的重要组成部分，维修资源调度效率的高低直接影响着保障能力和维修活动的经济效益。在Petri网建模理论的基础上，深入分析维修保障活动的特点，给出了针对维修资源调度的Petri网建模的基本方法和步骤。采用Petri网建立了维修资源调度的两种模型，并重点研究了MT—Petri模型的建模过程和工作原理。     

某型舰炮补供弹过程的Petri网描述

为了实现某型舰炮补供弹过程的计算机仿真,以便于对炮手进行科学的模拟训练,基于Petri网理论研究了该炮补供弹过程的建模问题.在对补供弹过程进行了分析与构建了补供弹过程Petri网结构的基础上,将Petri网的变迁与具体操作相关联,与真实操作相一致,建立了基于Petri网行为模型,并对其作了详细的说明.该模型为进一步研究补供弹过程的仿真打下了理论基础.     

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

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

基于着色时间Petri网的装备维修资源确定方法

科学的确定装备维修资源对提高部队装备保障能力和战斗力具有重要的现实意义。针对以往确定维修资源方法中所存在的问题,在介绍着色时间Petri网基本原理的基础上,提出了一种基于着色时间Petri网的维修资源确定方法。阐述了通过着色时间Petri网来描述维修作业的时序关系和维修资源的种类关系,绘制装备维修的Petri网络图,构建关联矩阵和进行相关计算得到维修资源的基本思路和步骤。最后结合实例进行分析,结果表明该方法是有效的,具有较高的使用价值。     

基于Petri网的舰艇对空自防御作战时延仿真

以一种典型的舰艇对空自防御作战流程为例,分析其中的时延性因素,并将其划分为七类典型的时延性因素;建立基于Petri网的舰艇对空自防御流程模型,针对Petri网数值仿真模拟能力不足的问题,采用一种模拟Petri网仿真的方法,通过MATLAB进行数值仿真试验;并对作战流程中某些阶段时延长度的改变对总的作战结果的影响作了分析。     

基于Petri网和模拟退火算法的生产调度

为解决生产调度问题,在增强赋时变迁Petri网和模拟退火算法的基础上,将两者结合起来,首先利用Petri网描述生产调度问题,为提高算法的通用性,以Petri网的系列变迁来作为调度问题解的表达方式,然后通过模拟退火算法求解问题的最优解或近优解.在模拟退火算法新解产生过程中通过引入记忆功能,避免迂回搜索,提高了搜索效率和解...     

结合Petri网理论的网格时间表现检测与分析

在GIG系统的背景下，分析了Petri网理论与基于OGSA的网格的结合，并提出了使用Petri网对系统进行建模的方法，对系统的时间表现加以检测和分析。     

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

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

基于面向对象Petri网的电子情报处理系统建模

文章简要介绍了电子情报处理过程以及Petri网建模的优点，采用面向对象Petri网构建了电子情报处理系统相关子模型，并对每一个子模型进行详细介绍，综合成电子情报处理系统模型。该模型较好地描述了电子情报处理系统中情报处理过程。为下一步的改进工作提供了依据。     

基于Petri网的登陆作战中协同通信的性能评价

论文以登陆作战中协同通信为研究背景,通过对Petri网的理论介绍,论证了运用SPN分析登陆作战中协同通信系统进行性能评价的可能性,并建立了基于Petri网的登陆作战中协同通信的数学模型,最后给出了登陆作战中集团军内部组织协同通信网,协同动作的延时时间。论文对登陆作战中协同通信研究有一定借鉴意义。     

Modeling and analysis of panel hull block assembly system through timed colored Petri net

To implement efficient production control, this paper provides a timed colored Petri net (timed CPN) approach to performance modeling, real-timed dispatching and simulation of Panel hull block assembly system (PHBAS). The definition of Petri net is extended to accord with the real-world PHBAS’s organization, and the modeling method for hull flow production is provided in order to simplify modeling program. Using modeling and analyzing method, the dynamic characteristics of the system can be emulated and quantitatively calculated and work control tactics can be optimized. For the double bottom hull block shipbuilding system in a recently built shipyard in China, the simulation model with timed CPN was described and the system parameters and optimal task sequence which has the minimum operation time were obtained for a scheduling case.     

基于Perti网的业务流系统的语义描述

尝试利用Perti网理论对包括航运业务流程在内的以信息传递为主的业务流系统的语义描述进行了系统的探讨。内容主要包括：业务流系统特点分析、业务流的基本Perti网语义描述、业务流的基本流程关系描述、冲突消解及业务能力有限的Perti网实现、业务流程的组合分解与抽象细化的Perti网实现、不同性质的任务标识与激发的Perti网语义描述、业务流属性的Perti网语义描述等。     

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.     

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

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

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

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