Enhanced discrete-event simulation

by Marcin Copik for PRISM Model Checker

This project includes several enhancements which will improve both manual path generation and the process of statistical model checking.