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

fYear

1999

fDate

15-18 June 1999

Firstpage

228

Lastpage

231

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Fault-Tolerant Computing, 1999. Digest of Papers. Twenty-Ninth Annual International Symposium on

Conference_Location

Madison, WI, USA

ISSN

0731-3071

Print_ISBN

0-7695-0213-X

Type

conf

DOI

10.1109/FTCS.1999.781055

Filename

781055