Currently, Mercury supports the following features, which may be extended in a near future:
RBD features:
- Graphical modeling
- Exact evaluation
- Evaluation of bounds
- Importance indices
- Cost evaluation
- Logical and structural functions
- Experiments
EFM features:
- Graphical modeling
- Cost analysis
- Energy analysis
- Exergy analysis
- Energy-flow optimization
Miscellaneous
- Textual input files (with specific Mercury language)
- Random variate generation
- Phase-type distribution moment matching
- Export CTMC model do Mathematica
|
SPN features:
- Graphical modeling
- Stationary analysis
- Stationary simulation
- Transient analysis
- Transient simulation
- Experiment (Stationary simulation only)
- Token game
- Structural analysis
CTMC features:
- Graphical modeling
- Stationary analysis
- Transient analysis
- Sensitivity analysis
- Export generator matrix to text file
|