Performance modelling for transparent computing using stochastic Petri nets. (2016)