非马尔可夫随机Petri网的分析方法及应用  

Analysis Methods and Applications of Non-Markovian Stochastic Petri Nets

作　　者：林闯[1] 李雅娟[1] 刘雪宁[1] 

机构地区：[1]清华大学计算机科学与技术系,北京100084

出　　处：《系统仿真学报》2003年第z1期71-75,共5页Journal of System Simulation

基　　金：国家重点基础研究发展规划(973计划)项目(G1999032707);国家自然科学基金(90104002和60173012);国家高技术研究发展计划(863计划)课题(2001AA112080);高等学校博士学科点专项科研基金项目(20020003027)。

摘　　要：Petri网是模型并行系统和分布式系统的一种强有效的形式化工具。它能够很好地刻画系统的动态行为、分析系统的性能。目前研究的大多数随机Petri网假定模型中所有变迁的实施时间呈指数分布,但是在许多实际系统中,变迁的实施时间呈确定性分布或一般性分布,这就需要研究非马尔可夫模型。文章主要讨论非马尔可夫随机Petri网的分析技术,即基于马尔可夫再生理论进行分析求解,并举例进行说明,在文章的最后进行了总结和展望。Petri-Net is a quite valid formal tool for modeling parallel and distributed systems. It can describe dynamic behavior of systems in detail and evaluate performance of systems. At present, most developed models based on stochastic Petri Nets assume that all the firing times submit to exponential distributions. However, in many real systems, some firing times submit to deterministic or generic distributions. Hence there is a requirement for researching Non-Markovian models. In this paper, we mainly discuss an analysis method of Non-Markovian stochastic Petri Nets, which is based on Markov regenerative theory. After that, we give an example to illustrate this method. At the end of the paper, we summarize this analysis method and open up prospects for this area.

关 键 词：非马尔可夫随机PETRI网 马尔可夫再生理论 抢占策略 分析方法 应用 

分 类 号：TP391.7[自动化与计算机技术—计算机应用技术]