用通用随机Petri网对硬件冗余容错计算机系统进行可靠性测评

摘要

在本文中给出一种硬件冗余容错计算机系统基于ＧＳＰＮ建模并进行可靠性评估的方法，该方法不必将ＧＳＰＮ同构成连续时间的马尔可夫链，我们暂且称之为前后集法。