DSPNEXPRESS - A SOFTWARE PACKAGE FOR THE EFFICIENT SOLUTION OF DETERMINISTIC AND STOCHASTIC PETRI NETS

This paper describes the analysis tool DSPNexpress which has been deve loped at the Technische Universitat Berlin since 1991. The development of DSPNexpress has been motivated by the lack of a powerful software package for the numerical solution of deterministic and stochastic Pet ri nets (DSPNs) and the complexity requirements imposed by evaluating memory consistency models for multicomputer systems. The development o f DSPNexpress has gained by the author's experience with the version 1 .4 of the software package GreatSPN. However, opposed to GreatSPN, the software architecture of DSPNexpress is particularly tailored to the numerical evaluation of DSPNs. Furthermore, DSPNexpress contains a gra phical interface running under the X11 window system. To the best of t he author's knowledge, DSPNexpress is the first software package which contains an efficient numerical algorithm for computing steady-state solutions of DSPns.