Decibilidad de problemas sobre redes de petri temporizadas - Valero Ruiz, Valentín. (Universidad Complutense de Madrid, 1993)