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)

Stochastic Petri Nets

Components (see also help on terminology)

Transition Invariants
Structural Analysis
Simple Performance Analysis
Advanced Performance Analysis
Interchange File Format

Environments

Java

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

The maintainers of this page