Stochastic Timed Automata -- Queuing Models -- Simple Petri Nets -- Colored Petri Nets