Semi-Markov process allows general sojourn-time distributions ... Sojourn time distribution in each state. Probability transition matrix (P) among the states ...
Metrics for real time probabilistic processes. Radha Jagadeesan, DePaul University ... nondeterminism : label does not determine probability distribution uniquely. ...