What’s New
- Main features are related to bug fixes and improvement of usability of some tools.
- Bug related to marking-dependent delay in SPN (Use of IF expressions)
- Bug related to experiment results writing (truncated values) in SPN, CTMC, and DTMC
Enjoy it, and feel free to report any bugs or wished features!
For more information and download, click

Check out the previous versions, click Here
This tool is free to use for academic purposes only.
To download the tool, you should adopt this agreement. Here with your information. Then, print, sign, scan and send it to prmm at cin dot ufpe dot br
After that, you should receive an email with your download credentials.