R. Arteiro, F. Souza, N. Rosa, and P. Maciel. " Using Petri Nets for Performance Modeling of Message-Oriented Middleware", in Proceedings of the 6th Workshop on Performance of Computer and Communication Systems, Rio de Janeiro/RJ, 2007, pp. 595-614.