PEPA nets: a structured performance modelling formalism.

Stephen Gilmore Jane Hillston Leïla Kloul Marina Ribaudo PEPA nets: a structured performance modelling formalism. 79-104 2003 54 Perform. Eval. 2 http://dx.doi.org/10.1016/S0166-5316(03)00069-5 db/journals/pe/pe54.html#GilmoreHKR03