According to @volkm "Storm has rudimentary support for simulating discrete-time models", like DTMCs (I guess?).
It would be useful to have the the same for CTMCs, i.e. a manner to generate a bunch of traces out of a {D,C}TMC model.

Also, is there documentation on how to generate these simulation traces via Storm?
I have not found it in the website, and neither in the --help.