Mercury

Overview

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

Tool homepage: http://www.modcs.org/?p=1262

Tool availability: Free of charge

Tool Features

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

Environments

Tool Description

http://www.modcs.org/?p=1262 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
E-mail: prmm@cin.ufpe.br

Other Remarks


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