A Probabilistic Approach to Symbolic Performance Modeling of Parallel Systems