Probabilistic Time Petri Nets for Clinical Pathway Design and Analysis