Le Moigne, Manon Mahulea, Cristian Faraut, Gregory Bernardi, Simona Albareda, Jorge Castán, Lidia Probabilistic timed Petri nets for clinical pathway design and analysis: a case study Discret. event dyn. syst. 10.1007/s10626-025-00419-4 2025 2025