Stochastic Petri net modeling of VAXcluster system availability | IEEE Conference Publication | IEEE Xplore