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

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

Petri网在工作流系统建模和分析中的应用

工作流技术是计算机应用领域的一个研究热点,而行之有效的建模方法和分析工具是工作流系统的关键,也是研究人员的研究重点.介绍工作流系统的Petri网、时间Petri网、逻辑Petri网、着色Petri网、随机Petri网等建模方法,对基于工作流网(WF-net)的完整性验证、性能分析、资源调度、时间分配以及协同分析等方法进行综述,指出Petri网在工作流建模和分析中的不足,提出了Petri网解决工作流系统建模和分析进一步的研究的内容.     

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

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

基于确定随机Petri网的AFDX航电系统建模研究

通过结合AFDX航空电子系统和确定随机Petri网的特点,给出了一种基于确定随机Petri网的AFDX航电系统的建模方法。该方法以AFDX中的虚链路调度算法为中心,依照组件开发的思想,并利用系统各部分的子模型对航空电子系统整体进行建模。从而为分析航空电子系统的性能提供了有力的参考。     

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

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

基于广义随机Petri 网的供应链建模与分析

考察了基于广义随机Petri网的供应链建模与分析技术,在总结Petri网建立供应链模型优势的基础上,将广义随机Petri网(GSPN)的基本理论应用于供应链系统的建模和性能分析,利用GSPN与马尔可夫链的同构关系,采用Petri网与马尔可夫链理论相结合的供应链性能分析方法,为供应链性能的有效评估提供了理论依据,并通过实例验证,该方法可用于分析供应链模型的时间性能和运作效率,为供应链决策层提供参考.     

Web集群服务器中分发策略的仿真与分析

在Web集群服务器中,基于内容的请求分发策略可分为两种:混合分发策略和隔离分发策略。用随机Petri网对两种分发策略分别进行了建模与分析,并用随机Petri网软件包SPNP对模型进行了仿真,仿真结果表明,只要合理地配置资源,隔离分发策略优于混合分发策略。测试也表明,隔离分发策略的性能优于混合分发策略。     

基于规则专家系统的广义随机Petri网仿真分析模型

利用广义随机Ｐｅｔｒｉ网为基于规则的专家系统建模,将推理过程中规则的匹配—选择—执行循环的各阶段统一于其广义随机Ｐｅｔｒｉ网模型中,通过对该模型的计算机仿真分析,可对系统的可靠性及性能进行评价。     

基于GSPN方法的柔性制造系统过程模型和性能分析

应用广义随机Petri网方法,对柔性制造系统进行建模和分析,提出了控制策略和优化方法.针对柔性制造系统的离散性,对整个系统的过程模型进行分析.利用广义随机Petri网结合马尔可夫链的方法,确立了系统的配置参数,得出了系统的平均运行时间,机床的平均使用率,系统的生产率,故障概率,对系统的优化和生产效率的提高以及柔性的提高提供了理论支持.最后,通过柔性制造系统实例,对该方法进行了检验.     

物流系统三色Petri网建模与分析

针对物流系统的一些特点 ,提出了一种三色 Petri网 .给出了三色 Petri网的基本定义 ,分析了该种 Petri网的性质及建模方法 .基于三色 Petri网对自动分拣系统中的物流控制进行了建模 ,并作了一致性、活性、有界性和安全性分析 .实例建模与分析表明了三色 Petri网的有效性 .     

基于随机Petri网工作流档案管理系统的建模与分析

随着信息时代的发展,档案管理系统的功能和规模也在不断扩大。对档案管理系统建模,并进行相关的定性和定量分析也成为研究档案管理系统的主要内容之一。由于档案管理系统流程本质上等价于工作流,所以将档案管理系统与工作流技术相结合,建立了档案管理系统的工作流网模型,并利用随机Petri对档案管理系统进行了分析,包括对所建模型的正确性进行了定性分析,对工作流的性能进行了定量分析,最后通过实例进行了说明。     

Modeling and analysis of software rejuvenation ondispatcher-based web server farms

1.INTRODUCTION Nowadays,cluster basedwebserverfarmshavebe comeapopularsolutiontocopewiththedramatically growingservicedemandofInternet.Amongvarious clusteringtechnologies,Dispatcher basedwebserver farmsisthemostcommonlydeployedstrategy,where thedispatcherdistributesalltheincomingrequeststo thebackendworkersinitsschedulingtable,which providetherealservice[5～8].Toachievehighavailability,thedispatchercould identifyanyfailedworkeranddistributenewrequests tootherworkers.Despiteitseffectivene…     

曙光作业管理系统的可用性评价

针对持续发展的高性能计算带来的新需求,我们设计与实现了DCJM机群作业管理系统,并使用了多种高可用保障措施。为了验证其有效性,综合使用可靠性框图、故障树和随机Petri网等工具对DCJM建模,然后基于实际测量的参数,使用统一的模型求解,对系统可用性进行了完整的评价。分析结果显示DCJM系统达到了高可用性。     

云计算环境下动态用户行为认证的机制、模型与分析

在云计算中,终端用户对云资源软硬件的影响和破坏远比目前用户利用因特网进行资源共享要严重的多,因此相对于用户的身份,用户的行为是否真实可信是云计算研究的一个重要内容。提出了户行为认证的机制,包括行为认证集的确立、行为证据的获得、行为认证的策略,建立相应的随机Petri网模型,并通过量化瞬时变迁的实施概率来模拟不同的认证选择,利用系统达到稳定状态时位置中的平均标记数来评价认证效果,为云计算的安全应用奠定理论和实践基础。     

防空武器系统网络化协同交战建模与仿真

对网络化作战条件下，防空武器系统协同交战的过程进行了建模与仿真研究。首先综合运用IDEF0和IDEF3建立了系统的静态模型，然后通过提出一种随机着色Petri(SPN)，建立了协同交战过程的动态仿真模型。建模仿真分析表明，上述建模仿真方法为多防空武器系统的集成与分析提供了一种行之有效的方法。     

DSPN仿真器的设计及其冲突消解规则

末文给出了确定随机时间ＰＥＴＲＩ网（ＤＳＰＮ）仿真器的结构及其算法。对于ＰＥＴＲＩ网中的冲突问题给予定义,并给出了解决办法。最后给出了仪真器的基本流程图。     

Newsoftware rejuvenation strategy based on measurement and time

1 .INTRODUCTIONRecent studies showthat operational software systemsoften experience an“aging”phenomenon,character-ized by progressive performance degradation and un-expected systemoutages[1 ,8 ,9]. The typical causes ofsoftware-aging phenomenon include memory bloatingor leaking, unreleased file-locks , un-terminatedthreads ,data corruption,storage space fragmentationand numerical error accumulation. In systems withstringent reliability/availability requirements ,the un-scheduledfailure d…