Performance Modeling and Evaluation of Distributed Component-Based Systems Using Queueing Petri Nets | IEEE Journals & Magazine | IEEE Xplore