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.