Dependability Research of Cluster System Based on Stochastic Petri Net | IEEE Conference Publication | IEEE Xplore