Stochastic Process Algebra -- A Precedence PEPA Model for Performance and