Roberto Arteiro, Fábio Souza, Nelson Rosa, and Paulo Maciel. 2007. Using Petri Nets for Performance Modeling of Message-Oriented Middleware. In Proceedings of the 6th Workshop on Performance of Computer and Communication Systems, June 30, 2007, Rio de Janeiro/RJ, Brasil. SBC, Porto Alegre, Brasil, 595-614.