Probabilistic timed Petri nets for clinical pathway design and analysis: a case study. - Manon Le Moigne; Cristian Mahulea; Gregory Faraut; Simona Bernardi 001; Jorge Albareda; Lidia Castán (Discret. Event Dyn. Syst., 2025)