An Approach to Predict Performance of Component-based Software with the Palladio Component Model and Stochastic Well-formed Nets