Reliability modeling and analysis of application servers using stochastic Petri Net Model | IEEE Conference Publication | IEEE Xplore