Validation of GSPN and SWN Models through the PROD Tool
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
| Hi-index | 0.00 |
UltraSAN is a software package for model-based evaluation of systems represented as stochastic activity networks (SANs). SANs incorporate features of both stochastic Petri nets and queueing models, where parameters in a model such as case distributions, activity times, state transition rules, and reward variables can be marking dependent. Users may build SAN models using an X-Windows based user interface and choose from a variety of analytic and simulation modules for transient and steady state performance, dependability, and performability measures. Furthermore, the tool facilitates graphical representation of the results obtained by its report generator.