共查询到18条相似文献,搜索用时 62 毫秒
1.
流体随机Petri网与混合Petri网的比较分析 总被引:2,自引:0,他引:2
流体随机Petri网和混合Petri网作为传统Petri网的拓展,可以建模离散成分和连续成分并存的混合系统,也可用于解决离散模型的状态空间爆炸问题.由于这两种建模机制远未发展成熟,分析比较它们的异同点有助于机制本身的进一步发展完善,有助于为特定的应用选择合适的建模方法.本文讨论了流体随机Petri网和混合Petri网的定义、连续标识、分析方法、以及相互转换的可能性.结论是这两种建模机制是互补的,各自适合于特定的应用场合. 相似文献
2.
基于随机Petri网的软件可靠性分析 总被引:1,自引:0,他引:1
文章介绍了一种基于随机Petri网、在软件体系结构设计阶段对构件化软件进行可靠性早期分析的方法.该方法建立起的模型可以很好的描述软件系统的动态变化过程,并可以得到软件系统处于各个状态的瞬时及稳态概率,为分析系统运行一定时间后的可靠性情况提供了有利的手段. 相似文献
3.
4.
本文介绍一种随机Petri网及其在性能分析中的应用,这种网的可达图同构于马尔柯夫链,从而可依据马氏理论求解一些性能指标。 相似文献
5.
《计算机应用与软件》2013,(6)
针对SysML状态机图本身缺乏分析和验证手段的问题,提出一种SysML状态机图向广义随机Petri网的转换方法。主要定义将SysML状态机图转换为相应Petri网可执行模型的八种转换规则,应用这些规则可以将状态机图转换为Petri网模型,进而对其进行分析、验证,并可检测SysML的行为规范与并发相关的性质,如死锁、有界性等,同时,该方法可处理带有时间延迟和概率信息的状态转换。最后通过数字证书系统的一个实例说明该方法的可行性。 相似文献
6.
7.
随机时间Petri网综述 总被引:4,自引:0,他引:4
随机时间Petri网作为一种灵活有力的建模机制,被广泛应用于计算机和通信系统的性能与可靠性评价。综述了随机时间Petri网各主要予类的发展历程与研究现状。首先介绍了随机时间Petrl网的一些基本概念,然后回顾了广义随机Petri网,简要总结了处理状态空间爆炸问题的主要途径,讨论了非马尔科夫随机Petri网及其分析技术,最后详细分析了流体随机Petri网。 相似文献
8.
9.
随着802.11无线局域网技术的飞速发展与广泛应用,对其进行建模与性能分析成了无线通信领域中一个重要的研究问题。文章首先提出了增强广义随机Petri网(EGSPN),增加了标识相关弧多样性和实施函数等特性,扩充了广义随机Petri网的模型功能,并给出了EGSPN的性能分析方法。建立了基于EGSPN的802.11协议模型,并以RTS/CTS访问方式下协议性能计算及结果分析为例验证了该方法的有效性。 相似文献
10.
11.
罗玲 《计算机工程与应用》2019,55(1):233-240
针对嵌入式机载软件设计中存在的典型缺陷问题,结合嵌入式机载软件任务调度特性,提出采用随机Petri网对嵌入式机载软件设计进行仿真验证的可靠性检测方法,以提高嵌入式机载软件设计的可靠性。该方法采用随机Petri网对嵌入式机载软件系统行为建模,并给出典型缺陷的检测策略和判定准则,然后通过对Petri网模型进行仿真验证,检测系统是否存在此类设计缺陷;并给出了软件设计的运行流程的仿真验证算法,以支持对相应设计的可靠性检测。通过与其他可靠性检测方法的比较,表明了该方法的有效性。 相似文献
12.
13.
采用基于流程图的能耗模型对嵌入式软件的能耗进行估计,首先以流程图分析C语言程序流,对于流程图中无法体现的能耗以修正值的形式进行补偿,最终建立软件能耗模型。为了验证该模型的可行性,给出实际电路测量方法。实验结果表明,在ADSP21375硬件平台下,该模型软件能耗估计值和实际测量值的误差较小。该方法可以使软件设计者在系统开发初期对能耗进行估计,便于设计合理的程序语句对系统能耗进行优化。 相似文献
14.
15.
16.
针对分布、异构、多组织的网格计算环境,该文建立了一种资源组织与管理的网格虚拟联盟模型,在分析该模型运行机理的基础上,建立了对应的随机Petri网模型。通过性能分析,表明该模型能够很好的描述网格任务调度和资源管理的特征,并能有效地进行性能评价。 相似文献
17.
时间因素在对实时系统的分析中占据着重要的位置。随着时间因素在Petri网应用分析中的地位越发重要,各种与时间相关的Petri网模型相继被提出。文中结合动态实时系统的运行特征,设计了一种变迁点火时间服从正态分布的随机Petri网模型,并基于对系统行为的统计分析,提出了一种用于对变迁时间参数进行识别的数值算法。以一种随机制造单元为例,建立正态随机Petri网模型,并运用参数识别算法确定变迁时间参数。仿真结果符合系统的实际运行结果,证明了该方法的有效性。 相似文献
18.
基于随机Petri网的工作流仿真 总被引:2,自引:0,他引:2
工作流管理是今年来发展最为迅速的计算机应用技术之一,被广泛应用于多个领域.Petri网,是对具有并发、同步、异步、冲突、资源共享以及不确定性等特点的离散事件系统进行建模的有效工具.针对工作流的性能评价问题设计和实现了随机Petri网仿真工具.介绍了工作流和随机Petri网的基本概念,然后具体介绍了仿真策略和冲突解决方法的关键仿真技术问题,最后结合具体实例对仿真工具的有效性和正确性进行验证. 相似文献