Arteiro, R., Souza, F., Rosa, N., & Maciel, P. (2007). Using Petri Nets for Performance Modeling of Message-Oriented Middleware. In Proceedings of the 6th Workshop on Performance of Computer and Communication Systems, (pp. 595-614). Porto Alegre: SBC.