A translation of TPALp into a class of timed-probabilistic Petri nets | Publicación