Performance Modelling of Distributed Systems Using Probabilistic Computation Structures