For the most recent entries see the Petri Nets Newsletter.

The DSPNexpress 2.000 performance and dependability modeling environment.

Lindemann, C.; Reuys, A.; Thuemmler, A.

In: Proc. 29th Annual Int. Symp. on Fault-Tolerant Computing, pages 228-231. 1999.

Abstract: This paper describes the latest version of the software package DSPNexpress, a tool for modeling with deterministic and stochastic Petri nets (DSPNs). Novel features of DSPnexpress 2.000 constitute an efficient numerical method for transient analysis of DSPNs with and without concurrent deterministic transitions. In particular, DSPNexpress 2.000 can perform transient analysis of DSPNs without concurrent deterministic transitions in three orders of magnitude less computational effort than the previously known method. Furthermore, DSPNexpress 2.000 contains an effective numerical method for steady-state analysis of DSPNs with concurrent deterministic transitions.

Keywords: DSPNexpress, dependability modeling, performance modeling, software tools, stochastic Petri nets.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography