Based on the stochastic high level Petri net, this paper put forward a new availability model of Web-server Clusters. This model facilitates availability analysis of per service type and whole services. Through the Numerical analysis, we find that different load distribution and scheduling algorithm has different availability under same loads.