共查询到18条相似文献,搜索用时 62 毫秒
1.
2.
时间离散随机Petri网是实时系统建模分析的一种重要工具,广泛应用在异步并发时间离散系统中,对时间离散随机Petri网模型进行模拟仿真分析是一个值得深入研究的课题.给出了一种运用硬件描述语言(VHDL)对时间离散随机Petri网进行描述和仿真的方法.首先介绍了时间离散随机Petri网的定义、特点,然后对其基本元素模块的硬件语言描述方法进行了讨论.最后以一个时间离散随机Petri网模型为例子,用VHDL语言对结构进行了描述,在Altera公司的集成开发工具QuartusII进行编译、仿真,仿真波形表明了这种方法的正确性. 相似文献
3.
事件与状态为表征离散事件系统的两个特征量。事件与状态的变化可直观,方便地表示为状态转移图。本文给出了从状态转移图到Petri网模型的离散事件系统实现方法。 相似文献
4.
5.
基于Petri网的直升机反潜仿真 总被引:4,自引:0,他引:4
Petri网对具有并行、异步和随机时间的离散事件仿真系统具有很强的可视化描述能力,它可以通过标记在网内的流动揭示系统的动态行为。而直升机反潜过程是一个复杂的离散事件过程,包括了搜索、跟踪、定位和攻击四个阶段,各阶段之间的转换是由各种战术规则和随机战场态势所决定的,具有并行、异步和冲突竞争等特点,采用传统的排队论和决策树方法描述直升机反潜过程非常困难。在建立了描述这些过程的Petri网的基础上,提出了处理并行和竞争变迁的实施原则,实现了直升机反潜过程描述的可视化。 相似文献
6.
Petri网对具有并行、异步和随机时间的离散事件仿真系统具有很强的要视化描述能力,它可以通过标记在网内的流动揭示系统的动态行为,而直升机反潜过程是一个复杂的离散事件过程,包括了搜索,跟踪,定位和攻击四个阶段,各阶段之间的转换是由各种战术规则和随机战场态势所决定的,具有并行,异步和冲突竞争等特点,采用传统的排队论论和决策树方法描述直升机反潜过程非常困难。在建立了描述这些过程的Petri网的基础上,提出了处理并行和竞争变迁的实施原则,实现了直升机反潜过程描述的可视化。 相似文献
7.
基于事件调度的随机Petri网仿真 总被引:4,自引:3,他引:1
当随机Petri网时间变迁的延迟时间分布为非指数分布时,随机Petri网就不再与马尔可夫链同构,不存在数学分析解法。数字仿真成为解算其性能指标最通用的方法。本文提出基于事件调度的随机Petri网仿真算法,该算法适用于任意时间变迁延迟时间分布随机Petri网性能的解算,实例分析证明该仿真算法的有效性。 相似文献
8.
防空导弹C3I系统谓词/变迁赋色Petri网建模与仿真 总被引:5,自引:0,他引:5
龙光正 《系统工程与电子技术》2002,24(12):47-48
介绍了Perti网概念及其标识转移方程的完整动态描述。对复杂的防空导弹C3 I空防对抗过程进行了具体分析 ,描述了某型防空导弹的具体作战过程 ,在有机结合谓词公司Petri网和赋色Petri网基础上 ,建立了基于谓词 /变迁的赋色Petri网模型 ,给出了具体的前置谓词公式。最后对仿真流程进行了描述 ,对战术级指挥控制过程的评估研究有极其重要的意义。 相似文献
9.
描述离散动态系统的集合标识Petri网:STPNs 总被引:2,自引:0,他引:2
基于经典Petri网,进行了标识和语义扩展,定义了集合标识Petri网(Set-TokenSPetriNets,STPNs).在定义STPNs时,构造了携带属性集合的抽象的信息标识,称为集合标识;将大规模个体按照属性层次分组,每组作为一个元素定义在属性集合中,解决了Petri网规模随着标识规模的增大而膨胀的矛盾.在语义上,进行了控制结点、路由结点、通讯弧和结点时间延迟以及针对集合标识的集合运算和结点函数等扩展.STPNs增强了Petri网描述离散事件动态系统(DEDS)的随机特性和控制特性的能力,能够作为用仿真技术研究大规模DEDS的有效建模工具. 相似文献
10.
11.
12.
Petri网是一种模拟和分析的系统工具,能有效地描述并发与并行、同步与异步问题。对时间Petri网在水下航行器制导系统仿真多任务调度中的应用进行了探索和研究。首先介绍了时间Petri网的基本原理,并以水下航行器制导仿真系统为例,将水下航行器制导仿真多任务系统划分为自导子任务、控制子任务、程序弹道子任务、目标运动子任务和指挥导引子任务,在建立和分析时间Petri网模型的基础上,给出资源的束双处理器条件下的最佳调度方案。仿真结果表明,通过该方法完成的多任务调度,能使水下航行器制导仿真系统多任务协调地在双处理器计算机环境下运行,满足水下航行器制导仿真系统分析研究的需求。 相似文献
13.
Petri网及其随机Petri网的性能分析方法 总被引:1,自引:0,他引:1
胡家宝 《系统工程与电子技术》1994,(2)
本文研讨和实现基于Pctri网及其随机Pctri网的性能分析方法。文中在Pctri网基本概念的基础上,给出了若干Pctri网典型的模型,讨论了Pctri网的分析方法和分析性质。在此基础上,给出了随机Pctri网和离散时间随机Pctri网的定义,用实例描述了性能分析方法。 相似文献
14.
混合控制系统的广义Pet ri 网建模与设计 总被引:3,自引:0,他引:3
提出一类混合系统的Petri网模型,强调连续与离散动态在同一层次的直接交互,连续与离散动态的分布式并发演化。给出基于混合Petri网的混合控制器设计方法。 相似文献
15.
在应用Petri网对大规模复杂系统建模和仿真时,Petri网模型可能出现组合爆炸的现象,从而占用大量的计算资源。考虑到Petri网的并发特性,可将Petri网模型分解为若干子网,进行并行或分布式仿真。在基于HLA的Petri网分布式仿真中,各联邦成员之间需要进行大量的数据交换,从而实现令牌(token)在子网之间的流动。因此,减少冗余数据的传输是提高分布式仿真性能的一种有效途径。对基于HLA的Petri网分布式仿真中的四种数据过滤方法进行了分析和研究,并通过仿真实验比较了它们去除冗余数据的有效性。 相似文献
16.
可达性是Petri网最基本最重要的动态性质之一,但一般Petri网的可达性判定问题至少具有指数空间复杂度,且目前尚无有效的判定算法。不过,存在某些Petri网子类,其可达性判定问题要相对简单,寻找这样的Petri网子类具有重要意义。为此,提出极小陷阱回路网与后向回路网的概念,并证明了初始标识下不含空极小回路的这两个Petri网子类,其可达性判定问题等价于状态方程的可满足性问题。 相似文献
17.
18.
提出了一个可以描述VHDL中对象和控制流的Petri Nets模型,对比了只支持控制流CFPN模型的描述能力,给出了VHDL中对象信号、变量和数据类型对模型的影响,并以具体实例分析了两种模型的不同抽象结果. 相似文献