 |
|
|
|
|
|
|
DSPNexpress-NG (Next Generation) |
|
|
|
|
DSPNexpress-NG (Next Generation) is the latest release of a widely distributed
software package for performance and dependability modelling using discrete-event
stochastic systems with exponential and deterministic events.
The previous version of DSPNexpress is known for its highly efficient numerical solution
algorithms for steady-state analysis of deterministic and stochastic Petri nets (DSPNs).
The package has been called DSPNexpress because it could perform steady-state analysis
of complex DSPNs without concurrent deterministic transitions with four orders of
magnitude less CPU time than other packages previously introduced.
Since 1993, we have distributed DSPNexpress free of charge to other academic institutions
upon their request.
New features of DSPNexpress-NG include efficient and robust numerical solvers for transient
and steady-state analysis of generalized semi-Markov processes with exponential and
(possibly concurrent) deterministic events.
Thus, DSPNexpress-NG can perform both transient and steady-state analysis of DSPN with
concurrent deterministic transitions.
To outreach from DSPN modeling, DSPNexpress-NG provides filters to the commercial UML design tools Rhapsody™ and Together™ in order to allow for the quantitative analysis of UML system specifications. More recently, the DSPN analysis methodology has been adapted to the numerical analysis of large stochastic graph representations of the Web and has been integrated into the vertical Internet search engine for the Business Web infometrics.
We distribute DSPNexpress-NG as open-source software free of charge to academia subject to
a license agreement.
Thus, other researchers can integrate the solvers of DSPNexpress-NG in their own packages
and/or build upon our research results.
|
|
|
|
|
