PEPA nets: A structured performance modelling formalism