用于软件可靠性分析的分解方法

摘要：

随机Petri网(SPN)是一种有力的系统建模和分析工具.但SPN在应用中经常碰到状态空间爆炸问题.分解压缩技术是解决随机网状态空间指数性增长的有效方法之一.介绍了一种获得SPN可靠性模型瞬时状态的分解方法.该方法在保证评价和预测可靠性精确度的基础上,不仅能有效地降低可靠性描述与分析的复杂度,还扩大了分解压缩技术的适用范围.

关键词：随机Petri网、可靠性、分解方法、马尔可夫链、瞬时分析

所属期刊栏目：28

分类号：TP302.7(计算技术、计算机技术)

资助基金：中国石油大学华东研究生创新基金S2006-19

在线出版日期：2008-04-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：5835-5837,5840