基于Petri网的直升机板潜仿真

Petri网对具有并行、异步和随机时间的离散事件仿真系统具有很强的要视化描述能力，它可以通过标记在网内的流动揭示系统的动态行为，而直升机反潜过程是一个复杂的离散事件过程，包括了搜索，跟踪，定位和攻击四个阶段，各阶段之间的转换是由各种战术规则和随机战场态势所决定的，具有并行，异步和冲突竞争等特点，采用传统的排队论论和决策树方法描述直升机反潜过程非常困难。在建立了描述这些过程的Petri网的基础上，提出了处理并行和竞争变迁的实施原则，实现了直升机反潜过程描述的可视化。     

基于VHDL的时间离散随机Petri网仿真

时间离散随机Petri网是实时系统建模分析的一种重要工具,广泛应用在异步并发时间离散系统中,对时间离散随机Petri网模型进行模拟仿真分析是一个值得深入研究的课题.给出了一种运用硬件描述语言(VHDL)对时间离散随机Petri网进行描述和仿真的方法.首先介绍了时间离散随机Petri网的定义、特点,然后对其基本元素模块的硬件语言描述方法进行了讨论.最后以一个时间离散随机Petri网模型为例子,用VHDL语言对结构进行了描述,在Altera公司的集成开发工具QuartusII进行编译、仿真,仿真波形表明了这种方法的正确性.     

基于赋色Petri网的离散事件系统矩阵模型与仿真

一种新的离散事件系统（DES）矩阵状态方程和Petri网的标识转移方程相结合的矩阵模型给出了完整的DES动态描述。本文介绍了一种可动态修正Petri网关联矩阵系数的矩阵模型仿真框架,解决了路径选择和调度决策问题,使这种模型可以推广到用基于赋色Petri网描述的DES仿真。     

混合条件/事件Petri网在飞控系统建模中的应用

提出一种混合条件/事件Petri网,以方程和图形两种形式定义了其受控演变规则,该网能够很好地描述一类离散事件和连续演变过程的混合交互现象,并应用于自修复飞行控制过程的建模中,使其离散跳变、连续演变过程以及相互间的交互得到较好的描述与处理,并能将演变结果显化在图形上。     

OFDMA系统中接纳控制的Petri网模型

利用Petri网构造了OFDMA系统中接纳控制的模型.接纳控制在OFDMA系统中起着很重要的作用,而随着用户需求的不断增长以及业务类型的多样化,建立一个合适的随机服务模型对于接纳控制来说尤为重要.Petri网采用可视化图形描述系统的静态结构和动态结构,为系统的随机服务模型提供了良好的描述手段.仿真和理论分析的结果完全吻合,表明把Petri网用于构造移动通信系统的无线资源管理模型是完全可行的.     

基于时间Petri网的实时多任务调度方法研究

Petri网是一种模拟和分析的系统工具，能有效地描述并发与并行、同步与异步问题。对时间Petri网在水下航行器制导系统仿真多任务调度中的应用进行了探索和研究。首先介绍了时间Petri网的基本原理，并以水下航行器制导仿真系统为例，将水下航行器制导仿真多任务系统划分为自导子任务、控制子任务、程序弹道子任务、目标运动子任务和指挥导引子任务，在建立和分析时间Petri网模型的基础上，给出资源的束双处理器条件下的最佳调度方案。仿真结果表明，通过该方法完成的多任务调度，能使水下航行器制导仿真系统多任务协调地在双处理器计算机环境下运行，满足水下航行器制导仿真系统分析研究的需求。     

描述离散动态系统的集合标识Petri网:STPNs

基于经典Petri网,进行了标识和语义扩展,定义了集合标识Petri网(Set-TokenSPetriNets,STPNs).在定义STPNs时,构造了携带属性集合的抽象的信息标识,称为集合标识;将大规模个体按照属性层次分组,每组作为一个元素定义在属性集合中,解决了Petri网规模随着标识规模的增大而膨胀的矛盾.在语义上,进行了控制结点、路由结点、通讯弧和结点时间延迟以及针对集合标识的集合运算和结点函数等扩展.STPNs增强了Petri网描述离散事件动态系统(DEDS)的随机特性和控制特性的能力,能够作为用仿真技术研究大规模DEDS的有效建模工具.     

网格计算资源调度方案及其Petri网建模与分析

通过对现有网格计算资源调度方案的分析,提出了网格计算资源的三层调度方案,该方案与已有的方案相比,更能体现网格资源的特点。利用Petri网这一具有描述并发、异步、动态等事件能力的图形与数学工具,对所提出的调度方案进行了模拟与分析。为不同层次的调度者构造了不同的扩展有色时延Petri网模型,并利用Petri网的共享合成技术得到整个系统的Petri网模型。同时给出了资源调度所对应的Petri网的可达任务图的概念,利用可达任务图,分析了诸如吞吐量、负载平衡、调度时间等资源调度的一些重要特性。     

基于流态随机Petri网的工业混合系统模型分析

工业中的混合动态系统模型所隐含的是连续与离散相混合的随机过程,使得对模型的数值分析和性能评价变得十分困难.针对此类系统,采用二阶流态随机Petri网进行模型的描述,将模型抽象为二阶偏微分方程组,并采用数值分析方法对模型进行求解.实例仿真表明,该方法能对工业中连续和离散相混合系统进行有效的建模与分析,具有重要实际价值.     

基于混合ANN-Petri网的过程控制建模

针对混有离散事件的连续化工过程,提出了基于混合ANN-Petri网的控制建模方法.采用神经网络与Petri网的有效结合,较好地描述了化工过程连续和离散的混杂特性,并以某化工蒸发过程为例,进行了详细的讨论和分析,建立了混杂过程的控制模型,并且给出了仿真结果.     

混杂Petri网在流程工业生产物流建模中的应用

在对某炼油厂生产过程分析研究的基础上，利用混杂Petri网对整个炼油厂的生产物流进行了仿真建模。该模型既包括了离散事件动态系统又包括了连续变量动态系统，更符合生产的实际情况。在该仿真模型的基础上，可以根据不同的优化目标对生产物流进行实时优化。最后介绍了仿真系统的模型框架并对仿真实例进行了说明。     

舰艇编队协同反潜仿真系统及关键技术研究

针对协同反潜作战系统仿真的需求,提出了一种基于HLA的舰艇/舰载机编队协同反潜仿真系统构建方法,解决了声传播损失建模、多平台多传感器信息融合、基于Petri网的编队协同反潜指挥决策仿真、火箭助飞鱼雷全弹道建模与仿真等关键技术。仿真实验结果表明,所建仿真系统可扩展性强,仿真精度高,满足了典型反潜作战研究的需要,具有实用价值。     

基于ExSpect语言的维修过程建模与仿真

研究了单部件可修系统的最优维修更换问题,构建了系统维修更换的Petri网模型,然后利用ExSpect仿真软件进行模拟仿真,从而证明了利用Petri网分析和解决系统维修更换问题的有效性。假定系统每次故障时以概率p进行更换及以概率1-p进行维修,并且每次维修后系统均不能“修复如新”,以系统的故障次数N为策略,利用几何过程建立数学模型,求出最优策略N*,使得系统经长期运行单位时间内期望损失达到最小,并求出系统经长期运行单位时间内期望损失的明显表达式。最后,对所得结果进行了讨论。     

基于对象Petri网的列车运行模型及仿真

用带有对象的Petri网对列车群运行进行建模，具有规模小、灵活、直观、模块性好、可操作性良好，属性描述方便，有利于不确定性问题的处理等优点；仿真实验验证了面向对象和Petri网的结合既可以克服面向对象方法缺少模型分析，验证手段的缺点，又可以克服Petri网在系统描述上的不足，文章描述了仿真系统的总体结构，主要数据结构和仿真策略，由于设计中采用了Petri网模型，路网数据，运行图相分离的原则，使系统具有良好的普适性和扩充性。     

基于广义微分Petri网的混合系统仿真方法

针对混合动态系统仿真的特点，建立其广义微分Petri网仿真模型，将混合系统的仿真统一于同一建模框架下，在此框架下，离散事件和连续状态变化对混合系统演化的推动作用均可以通过仿真模型中的变迁激发来完成，通过对广义微分Petri网的仿真过程进行分析，给出了基于该模型框架的仿真算法，并对仿真过程中出现的由资源共享引起冲突现象及其解决方案进行分析，最后讨论了仿真系统的死锁及其避免问题。     

自动化立体仓库输送系统调度的优化仿真及其应用研究

分析了自动化立体仓库输送系统的若干调度问题,给出了启发式调度规则和优化算法,建立了该离散系统的仿真Ｐｅｔｒｉ网模型,在此基础上,对系统进行了动态的优化仿真,仿真结果表明了调度规则和算法的正确性和有效性,使得系统物流更加畅通和平滑。     

离散事件系统任务处理瓶颈分析

Ｐｅｔｒｉ网是离散事件系统建模与分析的有效工具之一．本文介绍了随机Ｐｅｔｒｉ网瓶颈的概念,给出了一般随机Ｐｅｔｒｉ网最大处理能力的数学模型,研究了具有多路输入源之ＳＰＮ的瓶颈与处理能力分析的快速算法,讨论了在处理能力等价意义下将一类结构有决策且有环的ＳＰＮ变换成结构无决策且无环的ＳＰＮ的实现方法．最后给出了一个防空指挥控制系统信息处理瓶颈与处理能力分析的实例．     

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

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

基于LP范型的反应-扩散系统随机仿真平台研究

随机仿真是描述反应-扩散系统随机特征的一种重要研究方法,但这种仿真的计算量很大,非常耗时,需要并行离散事件仿真PDES技术的支持。针对反应-扩散系统的特点,基于JAMES II离散事件仿真实验框架,设计实现了基于逻辑进程LP范型的并行分布式反应-扩散系统随机仿真平台。主要设计实现了LP范型模型接口、PDES仿真器以及分布式通信方法。利用该平台建立了经典反应-扩散Lotka-Volterra系统LP范型仿真模型,实验结果复现了Lotka-Volterra系统的震荡特性,验证了平台的有效性。