Probabilistic timed Petri nets for clinical pathway design and analysis: a case study | Publicación