Title :
The DSPNexpress 2.000 performance and dependability modeling environment
Author :
Lindemann, Christoph ; Reuys, Andreas ; Thümmler, Axel
Author_Institution :
Dept. of Comput. Sci., Dortmund Univ., Germany
Abstract :
This paper describes the latest version of the software package DSPNexpress, a tool for modeling with deterministic and stochastic Petri nets (DSPNs). Novel innovative 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 :
Petri nets; performance evaluation; transient analysis; DSPNexpress; DSPNs; concurrent deterministic transitions; deterministic and stochastic Petri nets; performance and dependability modeling; transient analysis; Electronic switching systems; Identity-based encryption; Packaging; Petri nets; Software packages; Steady-state; Stochastic processes; Stochastic systems; Transient analysis; Workstations;
Conference_Titel :
Fault-Tolerant Computing, 1999. Digest of Papers. Twenty-Ninth Annual International Symposium on
Conference_Location :
Madison, WI, USA
Print_ISBN :
0-7695-0213-X
DOI :
10.1109/FTCS.1999.781055
