Web服务器集群QoS-aware负载均衡策略的性能评价

提出了将Web服务器进程调度中所使用的HTTP请求的内容和优先级与Web服务器集群的负载均衡策略相结合的综合控制策略.这种综合控制策略能够同时实现负载均衡和Web服务质量(QoS)控制.并且,本文提出了一种基于随机高级Petri网(Stochastic High-level Petri Net)的性能模型与分析技术,能够实现对Web服务器集群的QoS-aware负载均衡策略进行有效的性能建模与性能评价.     

计算网格任务调度的随机高级Petri网模型与分析

针对一种包含全局调度器和本地调度器的分布式计算网格体系结构,建立了该系统的随机高级Petri网（SHLPN）模型,并进行了模型精化设计以降低模型求解的复杂性,使用基于SHLPN的性能分析技术,对一种基于优先级的任务调度综合控制策略进行了性能分析与评价,数值结果显示了基于SHLPN的建模和分析方法的有效性。     

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

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

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

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

基于随机Petri网的装备维修保障系统性能分析

考虑维修能力不足和备件短缺等因素, 定义了装备维修保障过程的广义排队时间、广义维修服务时间等的系统性能参数. 建立了基于随机Petri网的装备维修排队问题的形式化描述模型, 研究了模型的简化解析分析和仿真分析方法. 结合实例分析了改进系统性能的途径, 验证了解析方法的有效性. 研究表明, 提高维修小组能力和备件满足率是提高维修保障系统性能的有效途径.     

Petri网及其随机Petri网的性能分析方法

本文研讨和实现基于Ｐｃｔｒｉ网及其随机Ｐｃｔｒｉ网的性能分析方法。文中在Ｐｃｔｒｉ网基本概念的基础上，给出了若干Ｐｃｔｒｉ网典型的模型，讨论了Ｐｃｔｒｉ网的分析方法和分析性质。在此基础上，给出了随机Ｐｃｔｒｉ网和离散时间随机Ｐｃｔｒｉ网的定义，用实例描述了性能分析方法。     

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

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

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

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

MPI集群通信函数的Petri网模型

研究并行程序的验证问题对于提高并行编程的效率具有十分重要的意义,本文在[1]的基础上,建立了目前普遍使用的基于消息传递的并行程序编写标准之一--消息传递接口(MPI)的集群通信函数的Petri网模型,从而为进一步研究MPI并行程序的Petri网模型及其性质奠定了基础.     

基于广义随机Petri网的SIP的验证和性能分析

在给出会话初始化协议（SIP）的服务工作过程的基础上,建立了SIP的广义随机Petri网模型（GSPN）,利用广义随机Petri网坚实的数学基础和分析技术完成对会话初始化协议的分析验证和性能分析。通过可达性分析、S_不变量分析和T_不变量分析验证了会话初始化协议的有界性、活性、守恒性和循环性。并且构造出与广义随机Petri模型同构的马尔可夫链,基于马尔可夫链的稳定状态概率进行系统性能分析。对会话初始化协议相关研究以及解决实际问题具有一定的理论价值。     

基于广义随机Petri网的再制造供应链建模与性能分析

为分析再制造供应链的性能,采用了基于广义随机Petri网的建模分析方法,并根据广义随机Petri网与马尔可夫链的同构关系,将广义Petri网模型转化为等价的马尔可夫链模型.通过马尔可夫链及相关数学方法得出再制造供应链的主要性能指标.该方法不仅可以分析整个再制造供应链的性能,还能对各个环节的运作效率做定量分析,为再制造供应链回收再制造模式的选择提供了一个思路.     

基于随机Petri网的机载软件更新系统性能评价

近年来,航电系统发展的趋势由联合式航电系统向综合化航电系统逐步演进,许多应用将原来专用集成电路实现的功能采用软件实现。软件更新系统在机载航电系统中的地位日益重要。提出了一种高效机载软件更新系统OBSUS,并运用随机Petri网理论对其性能评价。首先,提出了OBSUS的系统结构与组件间的通信协议。其次,根据OBSUS的系统结构与通信协议,建立了系统的随机Petri网模型。最后,对随机Petri网模型进行了瞬态概率分析,针对影响系统的诸多因素,如flash芯片烧写时间、数据传输丢包率和数据传输速率等,对系统的综合性能的影响进行了量化分析。仿真研究结果对于机载软件更新系统的结构与数据传输协议设计,以及如何提高系统性能,具有较强的指导意义。     

基于高级对象Petri网的工作流过程建模研究

通过对当前工作流过程建模方法的总结,提出这些方法的不足之处,展望了过程建模的发展动向.在基本的有色 Petri 网系统定义的基础上,引入面向对象技术和时间映射机制,提出了一种基于高级对象Petri 网的建模方法,以提高模型的可重用性,加强对动态流程的描述能力,降低建模过程的复杂度,解决临界资源的共享问题.通过一个具体实例阐述了如何建立高级对象 Petri 网模型,并通过活性分析算法,验证模型对流程描述的正确性和有效性.     

基于颜色Petri网的多agent动态调度建模与分析

多agent系统是一个典型的分布式系统,其任务调度策略的性能对于整个系统的性能有重要的影响。调度策略研究领域中一个重要问题是如何动态可视化地呈现调度过程。颜色Petri网结合了Petri网和高级程序语言的优点,拥有严格的数学理论基础,能够对分布式系统进行图形化的模拟。提出了一种基于层次颜色Petri网的多agent调度过程建模方法,该方法对多agent任务处理的全过程进行了建模,模型中通过不同角色的agent对任务进行动态分解和调度,利用Petri网仿真工具,能够在调度过程中考察所提出的调度策略与已有调度策略相比所具有的优点,而且通过对调度简化模型的状态空间进行分析,证明了调度策略的正确性和合理性。目前这种基于Petri网的形式化的可视仿真方法和模型评价方法是其它验证方法难以实现的。     

Modeling workflow using XML and Petri net

Nowadays an increasing number of workflow products and research prototypes begin to adopt XML for representing workflow models owing to its easy use and well understanding for people and machines. However, most of workflow products and research prototypes provide the few supports for the verification of XML-based workflow model, such as free-deadlock properties, which is essential to successful application of workflow technology. In this paper, we tackle this problem by mapping the XML-based workflow model into Petri-net, a kind of well-known formalism for modeling, analyzing and verifying system. As a result, the XML-based workflow model can be automatically verified with the help of general Petri-net tools, such as DANAMICS. The presented approach not only enables end users to represent workflow model with XML-based modeling language, but also the correctness of model can be ensured, thus satisfying the needs of business processes.     

基于GSPN的供应链产品成套性建模与分析

针对供应链产品成套性评价的相关理论比较匮乏,结合Petri网可视化建模工具可以直观描述供应链系统的优点,提出了基于广义随机Petri网(GSPN)的供应链产品成套性建模和仿真方法。利用GSPN与Markov链的同构关系,计算供应链系统的稳态概率和各库所的忙闲程度,以确定系统模型的性能指标,通过实证分析验证了该方法的有效性,丰富了供应链产品成套性评价方法的理论。     

基于逻辑Petri网的物流配送系统建模

为了降低建模的难度,更加容易、直观地描述系统的动态过程以及其中的逻辑关系,将逻辑Petri网的建模技术应用于物流配送系统中,对其进行了建模与分析。基于对物流配送系统一般工作流程的分析,比较准确明了地描述了配送系统的动态运作过程,建立了系统的逻辑Petri网模型,并研究了系统的某些重要性质。