On the generalised stochastic Petri net modeling of message-oriented middleware systems | IEEE Conference Publication | IEEE Xplore