基于一类扩展Petri网的机车电路仿真建模及其实现

机车电路仿真建模是开发各种机车电路仿真系统的基础.根据机车电路的特性,在基本Perti网的基础上对变迁作出分类,提出一类扩展的Petri网并给出其关联矩阵和状态转移方程.利用这一类扩展Petri网对东风4B型(DF4B)机车电路进行仿真建模和分析.在此基础上,通过Delphi程序设计语言以及Matlab仿真计算工具实现所建模型,并在实际的仿真系统中得到了应用.     

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

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

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

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

面向对象Petri网建模与仿真的可视化环境

主要介绍用面向对象方法开发的Ｐｅｔｒｉ网建模和仿真可视化环境ＰＮＳＥ（Ｐｅｔｒｉ Ｎｅｔ Ｓｉｍｕｌａ－ｔｉｏｎ Ｅｎｖｉｒｏｎｍｅｎｔ）。通过对一个实例的建模和仿真，说明了Ｐｅｔｒｉ网建模与仿真的可视化表示方法。     

直升机飞行性能仿真与评估方法研究

着重研究通过仿真的方法进行直升机飞行性能评估，以实现直升机基于状态的维修。首先基于涡轮轴发动机数学模型进行了飞行性能仿真；然后对性能仿真结果进行评估，并进一步对直升机将来的性能作出预测；最后介绍了基于前述方法开发的软件系统及其运行实例。     

基于Petri网的物流自动化系统建模与仿真研究

本文简要地介绍了物流自动化系统的研究状况,基于Petri网理论,对烟草行业的卷接包车间的AGVS进行了分析,并对该系统构造了一Petri网模型,并进行了仿真研究,仿真结果表明该模型是合理且高效的。     

基于混合Petri网的图形建模仿真系统

将VC＋＋的面向对象思想引入混合Petri网建模、仿真技术的研究和开发，给出了面向对象的混合Petri网软件结构，研究了Petri网的创建方法，讨论了Petri网的系统维护以及Petrl网的存储结构等关键问题。在此基础上，设计了基于图形界面的混合Petri网建模仿真软件。对于具体实例，给出了该软件以人机交互方式建立、编辑、分析混合Petri网模型的过程。     

基于CPN仿真的排队系统建模及性能分析

排队网络模型是一种经典的性能分析模型,提出按照队列的输入过程、排队规则和服务机构三要素,将排队系统转换为层次颜色Petri网模型的建模规则,利用CPN Tools 工具在模型中加入monitor监视器监视模型运行情况,使用Data Collector采集相关数据,进行队列模型的相关指标的性能分析和评价工作,最后给出基于仿真的建模与分析方法的一般操作步骤.这种建模和分析方法不需要对系统作任何的假设和限定,可以对模型的任何方面进行性能分析,扩展了传统排队系统的研究范围,具有很强的灵活性;一些扩展排队网络的建模和分析,如考虑服务台损坏和维修时间的扩展模型,只需对基础的排队网络稍加修改即可完成建模和性能分析,提高了模型的复用性;层次化的建模方法克服了基本Petri网组合状态爆炸的缺点,可以用于大规模的复杂排队系统.     

一类扩展Petri网的建模与仿真分析

本文定义了一类禁止弧／容许弧基本Ｐｅｔｒｉ网及其变迁的引发规则，构造了它的三个标志矩阵（禁止弧、容许弧、自环），给出了它的关联矩阵和状态方程；基于此，形式化分析了该网模型，并由此构造出适于计算机仿真分析的启发式算法；最后给出了仿真算例     

基于改进型随机Petri网的维修保障方案评估方法

一体化联合作战对诸军兵种装备系统及其维修保障体系提出了更高的要求,急需对装备维修保障体系运行规律进行建模与仿真分析,提高装备完好率和任务成功率.分析了Molloy形式的随机Petri网及其扩展模型在装备使用与维修过程建模与仿真分析中的不足,据此提出了全局时间的实现方法,改变了抑制孤的功能,选择了适当的变迁规则,提出了基于改进型随机Petri网的装备维修保障过程建模方法,开发了基于MATLAB的分析软件,针对某型导弹装备使用维修过程进行建模与分析,实现了保障方案的评估与优化.     

着色Petri网在性能评价中的应用

着色Petri网作为一种高级Petri网,引入了时间,颜色集,层次结构等概念,并与编程语言相结合,使之更适合对大型复杂系统的建模与分析,具有更强的数据处理能力。利用CPN Tools为模型加入多个数据监控器（Monitor）,得到多种相应的性能分析结果,从而使得对系统性能的分析更加精确,同时实现了对系统行为仿真和对系统行为监控的完全分离,解决了通过马尔科夫过程求解进行性能分析得局限性的问题。     

面向分析评估的高性能仿真系统关键技术研究

针对面向作战分析领域的军事分析仿真评估应用需求,分析了基于高性能RTI建立作战分析仿真系统的系统框架及其关键技术。着重分析了基于多核集群的RTI仿真引擎结构,面向属性层次的仿真克隆技术,以及基于BOM的模型驱动的建模框架。研究基于RTI建立高性能仿真系统为军事分析仿真评估服务的方法,主要目的是在降低仿真成本的同时,满足作战分析仿真关于高速运算、互操作性、可交互性和可测试性的需求。     

红外导引头抗人工干扰性能评估方法

红外导引头抗人工干扰性能评估是目前红外制导武器系统研究中迫切需要解决的问题。本文提出采用层次分析法，充分利用导引头研制过程中各阶段的实验数据，综合的评估红外导引头抗干扰性能。文章采用单一准则构造了判断矩阵，初步导出了各研制阶段实验数据的权重。最后以某型号红外导弹为例，评估出它的综合抗干扰性能。     

Petri网及其随机Petri网的性能分析方法

本文研讨和实现基于Ｐｃｔｒｉ网及其随机Ｐｃｔｒｉ网的性能分析方法。文中在Ｐｃｔｒｉ网基本概念的基础上，给出了若干Ｐｃｔｒｉ网典型的模型，讨论了Ｐｃｔｒｉ网的分析方法和分析性质。在此基础上，给出了随机Ｐｃｔｒｉ网和离散时间随机Ｐｃｔｒｉ网的定义，用实例描述了性能分析方法。     

Agent网及其在军事物流体系绩效评价中的应用

为弥补Agent和Petri网在各自建模中的缺陷,分析了二者现有的几种结合方式,给出Agent网的定义及其运行规则和分析方法。利用Agent网从顶层建立了军事物流体系绩效评价模型,对其逻辑特性和绩效进行了分析。结果表明Agent网能够完整描述体系的逻辑和物理特性,可用于全面分析评价体系的绩效,有效追踪体系执行任务的过程。     

Modeling for parallel scheduling and performance evaluation of MANET using stochastic Petri nets

In this paper, Petri nets technique is introduced into mobile ad hoc networks (MANET) and a packet-flow parallel scheduling scheme is presented using Stochastic Petri Nets (SPN). The flowing of tokens is used in graphics mode to characterize dynamical features of sharing a single wireless channel. Through SPN reachability analysis and isomorphic continuous time Markov process equations, some network parameters, such as channel efficiency and, one-hop transmission delay, can be obtained. Compared with Those of The conventional performance evaluation methods, the above parameters are mathematical expressions instead of test results from simulator.     

随机Petri网:研究现状和面临的挑战

近来,随机Ｐｅｔｒｉ网正逐渐成为描述和分析那些具有并发、同步和冲突等特征的系统的广泛而强有力的工具,其在Ｃ３Ｉ系统、柔性制造系统、计算机系统及通讯等诸系统中的各个领域的应用都已取得了显著的成功。然而,随机Ｐｅｔｒｉ网的状态空间的组合爆炸作为主要问题正阻碍着大型随机Ｐｅｔｒｉ网精确解的求取,进而限制了该类Ｐｅｔｒｉ网作为建模和性能评估工具的广泛使用。在本文中,首先回顾了随机Ｐｅｔｒｉ网的发展历程以及随机Ｐｅｔｒｉ网的主要子类和相应的解决方法,然后明确指出了目前随机Ｐｅｔｒｉ网在理论和应用中遇到的困难,并进一步阐述了克服该困难的三种主要方法的研究现状和发展前景。     

可达性与状态方程可满足性等价的两个Petri网子类

可达性是Petri网最基本最重要的动态性质之一,但一般Petri网的可达性判定问题至少具有指数空间复杂度,且目前尚无有效的判定算法。不过,存在某些Petri网子类,其可达性判定问题要相对简单,寻找这样的Petri网子类具有重要意义。为此,提出极小陷阱回路网与后向回路网的概念,并证明了初始标识下不含空极小回路的这两个Petri网子类,其可达性判定问题等价于状态方程的可满足性问题。