基于Petri网的容错计算机可靠性

被引：3

作者：

秦旭东

陈宗基

机构：

[1] 北京航空航天大学自动化科学与电气工程学院

来源：

计算机工程 | 2005年 / 24期

基金：

国家自然科学基金重大研究计划;

关键词：

容错计算机; 广义随机Petri网; 混合Petri网; 可靠性;

D O I：

暂无

中图分类号：

TP302 [设计与性能分析];

学科分类号：

081201 ;

摘要：

应用双模型混合Petri网描述与分析容错计算机系统。在分析容错系统的可靠性时,把复杂的混合Petri网模型简化为GSPN模型,并利用GSPN与马尔可夫链同构的性质,来计算系统的可靠性。

引用

收藏

页码：33 / 35

页数：3

相关论文

共 3 条

[1] 混合条件/事件Petri网在飞控系统建模中的应用 [J].

李惠峰 ;

周锐 ;

于之音 ;

不详 .

系统仿真学报 , 2004, (02) :297-301

[2]

计算机网络和计算机系统的性能评价.[M].林闯[编著];.清华大学出版社.2001,

[3]

计算机容错技术.[M].胡谋主编;.中国铁道出版社.1995,