A-introduction      examples from the 'Introduction' vignette
B-terminology       examples from the 'Terminology' vignette
C-trajectories      examples from the 'Trajectories' vignette
D-queueing-systems  examples from the 'Queueing Systems' vignette
E-ctmc              examples from the 'Continuous-Time Markov Chains' vignette
