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

Mercury 5.0.2 57.0 MB

Please login to download

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.

Que bom ter a convicção de que vencemos em mais um ano. Entendemos que nada é fácil e estamos longe em sermos perfeitos, tivemos obstáculos. Contudo, seguimos juntos em mais um ano, mais que colaboradores de ofício, luta e trabalho, mas como uma família comprometida com nossos sonhos e metas, mas com um único propósito, produzir o melhor a cada dia, compreendendo que estamos plantando algo maior.