Entry last updated: 2015/8/26
Entry last validated: 2015/8/26

Tool homepage:

Tool availability: Free of charge

Tool Features

Petri Nets Supported (see also help on terminology) Components (see also help on terminology)


Tool Description Mercury provides graphical user interface for these modeling formalisms and a script language that allows using it through command-line interface and also integration with external applications. The set of features available in the Mercury tool make it helpful for dependability and performance evaluation of various systems Mercury is user friendly graphical tool that allows specifying and evaluating performance and dependability models. The proposed environment supports: Stochastic Petri Nets (SPN), Continuous Time Markov Chains (CTMC) , Reliability Block Diagrams (RBD), and Energy Flow Models (EFM).

Contact Information

Name: Paulo Maciel

Centro de Informatica, Universidade Federal de Pernambuco
Av. Jornalista Anibal Fernandes, s/n - Cidade Universitaria (Campus Recife).
CEP 50.740-560
Recife, PE, Brazil
Phone: +55 (81) 2126 8430
Fax: +55 (81) 2126 8438

Phone:  +55
Fax:    +55

Other Remarks

[PN Home][*]
The maintainers of this page