Stochastic Timed Models
Timed sequences of events with probability distributions
· event information (occurrences, orderings)
· timing information (exact times when the event occurs)
· statistical information (probabilities of different sample
Examples: Stochastic timed Petri nets, Stochastic timed
automata, Markov chains, queueing theory, ...