未找到相关数据
基于Petri网的容错计算机可靠性
被引：3
作者：
秦旭东
陈宗基
机构：
[1] 北京航空航天大学自动化科学与电气工程学院
来源：
基金：
国家自然科学基金重大研究计划;
关键词：
容错计算机;
广义随机Petri网;
混合Petri网;
可靠性;
D O I：
暂无
中图分类号：
TP302 [设计与性能分析];
学科分类号：
081201 ;
摘要：
应用双模型混合Petri网描述与分析容错计算机系统。在分析容错系统的可靠性时,把复杂的混合Petri网模型简化为GSPN模型,并利用GSPN与马尔可夫链同构的性质,来计算系统的可靠性。
引用
收藏
页码：33 / 35
页数：3
相关论文