装备战场抢修的任意随机Petri网建模及仿真

基于任意分布随机Petri网（ASPN）,建立了装备战场抢修系统的ASPN模型。利用ARENA通用仿真平台,对装备战场抢修系统的ASPN模型进行仿真,得出了一些有价值的结论。仿真的结果与实际情况吻合,充分验证了模型的正确性。仿真的结论可为装备战场抢修的决策阶层提供决策支持,对提高我军装备维修保障能力,实现经济型维修保障,具有重要的意义。     

基于选择性维修的装备战场抢修决策建模

装备战场抢修决策是在战场条件下对损伤装备进行抢修决策的过程。针对传统战场抢修决策缺乏定量模型支持的问题,综合考虑抢修时限要求、抢修器材约束、复杂抢修过程等实际情况,基于选择性维修理论,建立了面向随机任务的战场抢修决策模型,为优化生成装备战场抢修方案提供决策模型支持。研究结果表明,选择性维修可有效解决多资源约束情况下面向任务的装备战场抢修决策问题;通过优化抢修任务分工,可缩短装备抢修时间,能有效提高资源利用率和装备任务可靠度。     

随机Petri网在系统可用性分析中的应用

Petri网自1962年提出以来，倍受工业界和学术界的广泛关注。经过几十年的时间，Petri网的理论不断的完善，Petri网在各行业中不断的被应用。本文主要讨论了Petri网在系统可用性分析中的应用。首先从Petri网的基本概念和基本模型出发，讲述了随机Petir网模型（SPN）、广义随机Petri网模型（GSPN）和随机回报网模型（SRN）。然后以冗余备份系统为例，讨论了随机Petri网在系统可用性分析中的应用以及随机Petri网模型的分析。最后讨论与其它建模方法相比，利用随机Petri网来建立系统可用性模型的优点。     

基于petri网的装备维修流程通用模型研究

简要介绍了多层次Petri网模型.在论述了Petri网技术优点的基础上,提出采用层次化的Petri网技术来建立装备系统维修保障流程仿真模型,并举例详述了该模型的建立.     

基于simio平台的装甲装备战场抢修组织实施过程仿真

针对现代战争装甲装备战场抢修组织实施任务需求,在分析装甲装备战损规律的基础上,研究了战场抢修的组织实施过程,构建了过程模型,并基于simio平台进行了仿真。模型具有一定的可扩展性,对战场抢修工作具有一定的参考价值。     

面向对象Petri网在舰炮武器系统建模中的研究

研究并实现了一种基于Petri网的系统建模方法，它将面向对象技术与Petri网相结合，从而综合了两种方法的优势，降低了Petri网模型的复杂性，增加了Petri网的应用范围。舰炮武器系统是一种大规模的、复杂的并具有并发性、分布式、非确定性等特点的系统，因此我们应用面向对象的Petri网(OOPN)对其进行了建模。通过对舰炮武器系统的建模，我们发现面向对象的Petri网建模方法可以有效的降低系统模型的规模和复杂性。     

现场通信系统的仿真建模及其性能评价方法

由于Petri网适于描述系统冲突和竞争，故在较多场合中引入了Petri网对通信协议及系统进行建模，但目前采用Petri网对现场通信系统建模和评价还很少，通过Petri网协议描述实现现场通信和评价系统性能双重功能更无先例，本文在时间Petri网的基础上加以拓展，提出了现场通信协议的类时间Petri网描述方法，针对多协议现场通信控制装置FCCD，从理论上建立了FCCD系统的类时间Petri网模型，实现了多协议智能设备的互连及其系统的性能仿真评价。     

一种新的Petri网模型建立方法

提出了一种通过消息序列表MSC来对现实系统进行Petri网建模的简便有效的方法。即利用了MSC简单、直观的优点，又能够充分利用Petri网相关的分析和仿真的理论与工具。给出了具体的由MSC到Petri网的转换算法。依照转换算法可将复杂系统的MSC模型转换为Petri网模型。经过对具体模型实例的分析可以得出，由这种方法得到的Petri网是安全可行的。     

基于工序排队的RCC坝施工Petri网耦合模型仿真

在分析了碾压混凝土施工系统的特点基础上,针对碾压混凝土施工系统的复杂和动态离散特性,建立碾压混凝土施工工序排队网络和Petri网模型,将排队模型嵌入Petri网,为Petri网模型提供有效Token和时间约束,耦合生成施工过程的Petri网模型.该建模方法有效地克服了单一排队模型表达能力不足和单一Petri网仿真建模复杂性.通过工程实例验证了该建模方法大大简化Petri网建模过程,提高Petri网针对性和分析效率.     

投入产出系统Petri网模型

Petri网是分析系统的一种有用工具.介绍了Petri网和投入产出系统的基本概念;给出了构造投入产出系统Petri网模型的方法;讨论了投入产出系统Petri网模型的性质;基于投入产出系统Petri网模型,得到了投入产出系统可分解的充分条件和不可分解的必要条件.为使问题阐述清楚,引入了一个具体的投入产出系统例子.将Petri网理论用于投入产出系统的研究,能够直观地反映出投入产出系统结构及其动态行为,是一件十分有意义的事情.     

HTCPN在装备保障业务流程建模与优化中的应用

研究了Petri网在装备保障业务方面的应用,针对装备保障业务特点,讨论了基于HTCPN的装备保障业务流程建模与优化方法,这种方法克服了普通Petri网建模的不足之处,既可以给出简单直观的模型顶层结构,又可以根据需要对模型进行不同程度的细化,并有利于对模型进行分析和仿真实现。研究了基于HTCPN的装备保障业务流程模型性能评价指标,以某型装备维修过程为例,建立了其HTCPN模型,通过仿真与定量分析提出了优化方案,并对优化前后的业务流程进行了性能对比。     

组件化的变结构Petri网建模仿真方法

Petri网模型建立后,其结构相对固定,不易描述实际系统结构的动态变化。借鉴软件组件的设计思想,提出了组件化的变结构Petri网的描述规范、组合机制和仿真方法,实现了仿真运行中Petri网结构的动态变化。该方法增强了Petri网模型的重用性,支持层次化建模,便于实现与其他模型的集成,提高了Petri网的建模仿真能力。     

Application of Petri Net to Fault Diagnosis in Satellite

1. INTaODUCTIONPetri net is always applied to discrete dynamic systems as a modeling toOl. It has adVantages against Othertools as direct modeling and strict analysis. Petri net can be considered as a graph which is converted intoother from known knowledge represelltation or from st~ure, funcfion or behavior of a system. The occurs when the variables of a system increase that calculation of system design becomes too complicsted to becompleted by hand. Instead, it comes into possible at t…     

基于AOPN的装备使用保障费用模型研究

提出了一种可用于装备保障系统建模与分析的面向方面的Petri网模型(AOPN),给出了该模型形式化描述,该模型引入了面向方面的建模思想,具有很好的模块性、继承性、可维护性以及描述动态过程的能力,将该模型应用到装备使用保障费用的建模与分析中,给出了相应的建模过程与方法,最后给出了一个应用实例。     

离散、连续和混合Petri网的一致性描述

本文引入的混合动态系统的Ｐｅｔｒｉ网模型,以建立混合控制系统的整体Ｐｅｔｒｉ网结构,和Ｐｅｔｒｉ网上附加离散、连续和混合动态时描述的一致性与继承性为目标．令牌及其标记概念上的具体化,是统一多种动态描述的基础．权为零有向弧的引入简化了监控结构．依赖混合动态网建立复杂控制系统的整体Ｐｅｔｒｉ网模型,为采用Ｐｅｔｒｉ网理论进行系统的分析、验证和设计提供了基础．     

基于Petri网的Web服务组合模型描述和验证

Web服务及其组合的形式化描述和验证是Web服务中一个重要的研究方向.分析了基于Petri网建模的优势,给出基于Petri网的Web服务的形式化定义和描述,对Web服务组合进行建模及元素映射,给出Petri网模型生成算法并对组合服务模型的可达性、安全性、有界性与活性等特性进行验证分析.最后是对一个具体的业务流程的建模和验证分析.由分析可知,该建模方法具有一定的表达和验证Web服务组合模型的能力.     

基于时间Petri网的装备体系可靠性建模与仿真

针对装备体系规模大、层次多、成员彼此分离、不断演化的特点,以及体系可靠性预计与分配困难的问题,在充分研究体系内涵的基础上,结合美国国防部体系结构框架（Department of Defense Architecture Framework, DoDAF）和流程分析研究方法,提出了一种基于时间Petri网流程分析的装备体系可靠性建模与分析方法,详细分析了体系结构和使用流程的建模过程,构建了装备体系的可靠性计算模型。以某机场航空保障体系为例,说明了基于流程的体系可靠性建模分析的详细过程,通过ExSpect（Executable Specification Tool）仿真软件,得出了装备体系流程的执行时间和可靠度仿真结果。     

基于IDEF0模型的Petri网间接建模方法研究

通过对IDEF0和Petri网两种建模方法分析与对比,表明基于Petri网建模可以解决IDEF0方法在模型的动态性、完备性和方法连贯性方面存在的问题;提出IDEF0模型到Petri网模型的转换思路和基本转换方法,以一个信息管理模块为例实现模型转换,在此基础上提出了改进策略.研究结果有助于以Petri网为统一工具实现系统建模与开发,为解决当前系统开发遇到的问题提供一种新的途径.     

基于多Agent的多机协同空战仿真系统设计和实现

设计了一种基于多Agent的多机协同空战仿真系统,分别对该系统的建模框架和仿真框架进行了构建。在建模部分提出了系统各类Agent的Petri网模型和基于知识查询处理语言（knowledge query manipulation language, KQML）的模糊通信机制,仿真部分则采用独立于建模框架的仿真信息控制结构和小规模协同分配算法实现。仿真结果表明,该系统与实际符合较好,仿真速度和精度高,验证了该系统的有效性。