Using stochastic Petri nets for performance modelling of application servers | IEEE Conference Publication | IEEE Xplore