These models can be analysed with respect to qualitative and quantitative aspects. DSPNexpress has a user-friendly graphical interface for definition, analysis and graphical animation of DSPNs. The package has been called DSPNexpress because this software package solves complex DSPNs with four orders of magnitude less CPU time than other packages previously introduced. Modeling of GSPNs can be realized with the editor APNNed. The editor can start the analysis tools and afterwards a visualization of the results is possible.
All tools provide a graphical user interface and are available for usual type of workstations.
They are tested exhaustively and have been employed for the evaluation of operating systems in the development phase, future hardware architectures, and the assessment of distributed and telecommunication systems. The tools also suit for an evaluation of flexible manufacturing systems. Their practical usability has been proved by a large number of external installations in universities, research institutes and industry.