Per aprire la risorsa fai click su Video: Simulation of DTMC and statistical analysis