共查询到20条相似文献,搜索用时 15 毫秒
1.
2.
应用双模型混合Petri网描述与分析容错计算机系统。在分析容错系统的可靠性时,把复杂的混合Petri网模型简化为GSPN模型,并利用GSPN与马尔可夫链同构的性质,来计算系统的可靠性。 相似文献
3.
论文根据IC制造中存在的多制造路径、资源共享、可变晶片组及并发等特点,结合增强定时Petri网,提出了一种调度优化算法。该算法无论是对典型的Job-Shop问题,还是比此更复杂的问题,都能给出确实有效的优化结果,具有一定的通用性。该算法还具有较高的运行效率,文中的实验结果也充分显示了这点。 相似文献
4.
5.
针对汽车检测线运行效率评估及确保给定数量车辆检测时间最短的问题,通过分析检测过程中的驱动事件和状态演变,给出了车辆调度的约束条件,在此基础上把模型中的时间约束与受控Petri网相结合,提出了受控时间Petri网(Controlled Time Petri Nets)模型,采用该模型对检测线调度过程中的节拍控制与车辆调度进行可视化的建模与分析。实践表明对于多批次车辆检测任务采用该过程模型可明显缩短检测时间。 相似文献
6.
基于时间Petri网的工作流建模 总被引:4,自引:0,他引:4
随着工作流管理的发展,人们提出了很多扩展Petri网概念用于工作流建模。描述工作流中的资源、资源条件以及任务与资源条件之间的关系是一件很复杂的事情。而现有的用于描述工作流的Petri网在这方面,并不令人满意。该文特别强调资源的概念,在时间Petri网的基础上提出了一种新Petri网———资源条件/任务网(ResourceCondition/Tasknet,简称RC/TN),利用RC/TN网来进行工作流建模,描述工作流的执行过程。并将该工作流建模方法应用于OA流程的描述中。 相似文献
7.
8.
时延Petri网和时间自动机都可以有效地对实时系统的行为进行模拟和性能分析。利用时延Petri网到时间自动机等价转换算法(简记作TPN-to-TA 转换),将一个描述实时系统的时延Petri网模型转换成与其语义等价的一组时间自动机模型。使用时间自动机中成熟的模型验证工具Uppaal对此时延Petri网的模型进行验证。 相似文献
9.
将Petri网理论和五笔画输入法结合起来,提出了一个较完整的用Petri网建立的笔画输入法算法模型。该模型借助Petri网有关理论成果,完成笔画输入法的建模与并行化分析,便于计算机处理。其实质是在五笔画输入之间和查询过程中加入变迁元素,使其更反映汉字查询的本质。首先给出了基于Petri网的整体输入框架建模的步骤和详细过程,然后利用所建立的模型对五笔画输入法算法过程进行了分析,最后把基于Petri网的五笔画输入法算法与手写、拼音输入算法进行比较,证明本文算法具备更优的检索效率。 相似文献
10.
模糊时间Petri网及扩展的模糊时间Petri网 总被引:1,自引:0,他引:1
网络实时系统对时间和QoS有严格要求,因此对设计、实现和测试的技术和工具都有很高的要求。模糊时间Petri网是将模糊集合理论用于不确定的或主观的时间信息的表示,在每个变迁上添加时间间隔约束对模糊时间Petri网进行扩展得到扩展的模糊时间Petri网,它是一种对网络实时系统进行建模和分析的形式化模型,Petri网数学理论基础能保证并发系统的可靠性和正确性。本文详细地介绍了模糊时间Petri网及可扩展的时间Petri网,可扩展的时间Petri网的网精简方法,使用design/CPN仿真,及使用EFTN对多媒体同步建模,并探讨了进一步研究的方向。 相似文献
11.
鉴于时间Petri网易于描述系统并发、冲突等现象的优点,本文首先介绍了几种时间Petri网,并采用了其中的时延Petri网和随机Petri网,在理论上分别建模和分析了同一通信协议。然后,将理论上得出的这两种协议描述分析方法.分别应用在一实际温控系统的现场通信协议中。通过比较、验证系统的性能指标,说明了这两种方法的应用性和针对性。 相似文献
12.
基于着色时间Petri网的实时系统的形式验证 总被引:1,自引:0,他引:1
嵌入式实时系统多数应用在安全性要求较高的场合,因此需要保证系统的正确性.复杂性不断增加的实时系统迫切需要在系统开发早期引入形式化分析技术来验证系统的期望性质.时间Petri网是有严格数学基础的图形表达工具,适合对实时系统建模;时间自动机(Timed Automata,TA)有成熟的验证工具,被广泛用于实时系统的模型检验和验证.本文提出一种基于着色时间Petri网(Colored Time Petri Net,CTPN)的实时系统的验证方法,用CTPN对带有控制流和数据流的实时系统建模,通过转换规则将CTPN模型转换成语义等价的TA模型,利用模型检验工具UPPAAL验证系统的性质.最后,用实例证明此方法有效. 相似文献
13.
随机时间Petri网综述 总被引:4,自引:0,他引:4
随机时间Petri网作为一种灵活有力的建模机制,被广泛应用于计算机和通信系统的性能与可靠性评价。综述了随机时间Petri网各主要予类的发展历程与研究现状。首先介绍了随机时间Petrl网的一些基本概念,然后回顾了广义随机Petri网,简要总结了处理状态空间爆炸问题的主要途径,讨论了非马尔科夫随机Petri网及其分析技术,最后详细分析了流体随机Petri网。 相似文献
14.
罗旭 《数字社区&智能家居》2007,(10):208-210
本文根据模糊Petri网运行时连续性的特点,以蚁群算法为基础,提出了一种带交叉、变异因子的模糊Petri网参数值寻优的有效方法。该方法先用分层思想建立无环路的FPN模型,然后把它转化为类前向神经网络以确定输入—输出层关系,并将网络中各参数的值域均分为10等份,在图形中用10个城市来表示,再用蚁群算法进行路径的寻优,寻优后,在蚁群选定的值域上产生具体的分量解,最后由误差函数确定是否需要重新寻优。仿真程序实例表明经蚁群优化算法训练出的参数正确率较高,且不依赖于经验输入数据。 相似文献
15.
随着嵌入式系统设计日益复杂,对系统的描述也提出了越来越高的要求,特别是实时性能。因此如何描述实时性能逐渐受到重视。在嵌入式系统中,线程的时间属性影响着系统的实时性,因此在设计早期利用AADL描述线程,但是AADL只是一种半形式化的语言,不够精确,并可能产生二义性。因此,把AADL模型转化为时间Pe砸网,但是时间Petri网不能很好地表示AADL的时间属性。故在研究AADL模型的时间属性的基础上,针对时间Petri考虑区域值延时与固定延时,并把固定延时当作区域值时延的一种特殊情况。最后给出针对AADL模型转化为时间Petri网的相应规则。 相似文献
16.
Petri网是一个功能强大的建模工具,已广泛应用于业务流程的建模与分析,但是原型Petri网对业务流程的成本分析却无能为力.首先介绍原型Petri网的定义,然后针对实际业务流程建模中成本预算分析的需要,对原型Petri网扩展价格因素,定义了价格Petri网及其变迁触发规则,而后定义了计价状态空间的概念,并给出计价状态可达空间的构造算法,最后通过一个例子说明价格Petri网可以有效地对业务流程进行成本分析. 相似文献
17.
18.
时延Petri网是在一般Petri网的基础上,在变迁上引入相应的时间函数,使其具有很强的描述能力与性能分析能力.论文利用时延Petri网对安全电子交易的双重数字签名技术进行建模,通过对所建模型进行描述与分析,指出问题所在,找到问题的解决方案,为安全电子交易过程提供进一步的安全保障. 相似文献
19.
20.
以最小化完工时间为目标构建Petri网模型,并基于该模型将混沌原理和粒子群算法相结合,提出了一种基于Logistic映射的混沌粒子群优化(CPSO)算法。仿真实验结果表明,该算法能跳出局部最优,增强了全局寻优能力,进一步提高了计算精度和收敛速度。 相似文献