State machine reduction for the approximate performance evaluation of manufacturing systems modelled with cooperating sequential processes. - Carlos J. Perez-Jimenez; Javier Campos; M. Silva (ICRA, 1996)

On state space decomposition for the numerical analysis of stochastic Petri nets. - Carlos J. Perez-Jimenez; Javier Campos (PNPM, 1999)

Approximate Throughput Computation of Stochastic Weighted T-Systems. - Carlos J. Perez-Jimenez; Javier Campos; M. Silva (IEEE Trans. Syst. Man Cybern. Part A, 2007)