基于带优先级时间有色Petri网的装备维修过程模型研究

本文在分析维修过程中确定维修活动次序和选择维修资源常用规则的基础上，为时间有色Petri网的变迁规则增加了约束，提出了带优先级的时间有色Petri网的概念，并利用带优先级的时间有色Petri网进行了维修过程的仿真，仿真结果表明带优先级的时间有色Petri网能更好的模拟实际的维修过程。     

基于着色Petri 网的混杂监控系统建模分析

针对现有建模分析方法在混杂系统中系统建模和性能分析中表现的不足,提出一种基于离散事件监控框架的混杂系统仿真建模分析方法。应用着色Petri网技术构建混杂系统离散事件系统模型框架,内嵌连续系统模型,利用Petri网标识线性约束实现系统动态行为仿真分析和基于局部关联矩阵的Petri网监控设计。基于现有的离散事件动态理论的监控分析,采用离散事件系统Petri网监控方法实现混杂系统监控行为分析。并通过导弹拦截系统案例进行验证,实践结果证明了该混杂建模分析方法的可行性。     

基于Petri 网的虚拟维修过程建模

针对维修过程中复杂的活动关系,提出一种基于状态机Petri网的虚拟维修过程建模方法。对维修过程中的约束关系进行描述分析,建立了维修过程逻辑网模型,表达出整个维修操作过程,并结合示例验证模型的合理性。该方法解决了装备复杂维修过程的建模问题,可为实际维修提供技术支持。     

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

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

基于Petri网的排队网分析方法

基于Petri网的排队网分析方法,利用分层仿真方法,先对离散系统进行初步排队网建模并转化为GSPN模型.模型可分为单/多服务窗损失制排队模型、单/多服务窗等待制排队模型、单服务窗混合制排队模型与多服务窗损失制排队模型、单/多服务窗闭合式排队模型几种情况.仿真结果证明,该方法由于GSPN的可执行性和图形的直观性,仿真更为方便.     

面向对象分层Petri网在对抗系统建模中的应用

从面向对象的自顶向下的设计方法入手,利用Petri网的替换及合成运算,分析了对抗系统建模的顶层Petri网模型。通过进一步细化和分解,利用实际系统逻辑含义分析了各层Petri网的结构性质。为利用Petri网构造高层构建块和分解建模系统提供了一种思路。     

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

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

基于Petri网工作流网在舰载机出航准备建模中的应用

基于Petri网的工作流网的舰载机出航准备建模,将舰载机出航准备工作流网分为:与舰载机起飞降落紧密相关的活动、飞行甲板上的舰载机的活动和进入机库舰载机的活动.任何一架舰载机在航母降落,代表该舰载机的托肯会由C1库所进入工作流网,使整个工作流网启动.每个托肯根据航母指挥机构的命令选择不同流向,并向指挥机构显示舰载机出航准备状态.当舰载机接到起飞命令,升空作战时,流程结束.     

基于Petri网的单交叉路口实时控制建模

依据既定城市道路交通系统的逻辑规则、相位相序及周期长的特点,用普通Petri网(OPN)对单交叉路口交通信号四相位实时控制进行建模,并在此基础上对该模型进行仿真.再根据实际路口的情况实时调整参数,甚至可略微改动OPN的结构,使得相位相序的选择达到最优,实现自适应实时控制.     

基于广义随机有色Petri网的测试性建模方法

针对现有测试性模型简化系统故障与测试之间的关系,忽略故障模式之间复杂性的问题,提出一种基于广义随机有色Petri网（CGSPN）的测试性建模方法。在Petri网的理论基础上对故障模式复杂性进行分析,并用不同颜色表示严酷度等级,完成CGSPN模型的构建。应用编码方案区分同一故障的多种故障模式,有效降低建模难度。采用可达性算法获取相关性矩阵。引入三角模糊数算法获取专家知识,将专家数据作为先验信息与后验测试数据相结合,解决数据量少和不可靠问题。以某型导弹为例建立CGSPN模型,对其进行测试性分析,得到96.8%的故障检测率和100%的故障隔离率,在满足系统测试性指标要求基础上丰富了模型的内容,为装备的测试性建模提出了一种新方法。     

赋时着色Petri网在建模仿真中的应用

赋时着色Petri网(TCPN)在着色Petri网(CPN)基础上引入时间概念,更适于复杂系统建模仿真.其库所赋时实施规则同CPN,变迁赋时实施规则将令牌移入变迁的输出库所.基于TCPN优先权服务排队系统,用CPN的元语言实现优先权排队,由于时间引入,可真实模拟顾客到达时间和服务台服务时间.     

模糊Petri网故障诊断技术应用

故障诊断的模糊Petri网模型,将Petri网和模糊推理相结合建立.其中,用FPN表示模糊产生规则,用Petri网的变迁激活规则进行故障诊断推理,从而分析出异常行为过程间的因果关系,推理出故障的原因及其可信度.以某型飞机电力启动系统故障为例,用模糊Petri网对其进行故障诊断,结果证明该技术可行有效.     

基于时间扩展Petri网的实时嵌入式软件体系结构建模及可靠性评估

软件可靠性是软件质量评估最重要的指标之一,随着软件工程和组件重用技术的发展,近年来基于体系结构的软件可靠性评估已经成为工程研究的热点之一。为有效地提高软件可靠性,调研现有体系结构的可靠性评估模型,给出了现有体系结构模型的分类和模型代表,并分析了现有模型的不足。由于Petri具有良好的扩展性并且对异步和并行软件有良好的描述性,因此重点研究Petri网可靠性评估模型,通过划分时间变迁和瞬时变迁,并引入时间相关的可靠度,包括延时可靠度与时序可靠度,对Petri网进行了扩展,给出了时间扩展的Petri网进行体系结构建模方法。通过研究组件状态和系统可达状态的关系,创建可达状态转移矩阵,对系统进行可靠性评估。将所研究的方法应用于某航电嵌入式系统软件中,完成了体系结构建模及可靠性评估,并通过误差分析验证了该方法的有效性及准确性。     

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

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

Petri网在PLC控制系统程序设计中的应用

PLC按Petri网运行,实时接受传感器信号作为主令信号,并按Petri网确定的关系,决定执行元件是否执行,从而达到Petri网作为控制器的目的。从实例出发介绍基于Petri网控制器的PLC程序的设计方法,包括Petri网控制器模型设计,以及PN模型转换为PLC梯形图,PLC梯形图程序的设计效率得到提高。