Text this: Decibilidad de problemas sobre redes de petri temporizadas