Reliability of Fault-tolerant Computer Systems Based on Petri Nets

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.