Obtaining Probabilistic Dynamic State Graphs for TPPAL Processes | Publicación