摘要： 应用双模型混合Petri网描述与分析容错计算机系统。在分析容错系统的可靠性时,把复杂的混合Petri网模型简化为GSPN模型,并利用GSPN与马尔可夫链同构的性质,来计算系统的可靠性。
关键词:
容错计算机,
广义随机Petri网,
混合Petri网,
可靠性
Abstract: Hybrid Petri nets is used to describe and analyse the fault-tolerant computer systems.By using HPN,static architectures of the fault-tolerant computer systems and dynamic behaviors of fault generation and promulgation are properly described,and the effect of transient error on reliability analysis of fault-tolerant computer systems can also be eliminated.The HPN model is simplified to GSPN model,and then GSPN model is converted to Markov chain to calculate the reliability of the systems.
中图分类号:
秦旭东;陈宗基;. 基于Petri网的容错计算机可靠性[J]. , 2005, 31(24): 43-45.
QIN Xudong,CHEN Zongji. Reliability of Fault-tolerant Computer Systems Based on Petri Nets[J]. , 2005, 31(24): 43-45.