DSPNexpress 2.000 performance and dependability modeling environment

Proceedings - Annual International Conference on Fault-Tolerant Computing

Volumn , Issue , 1999, Pages 228-231

  Lindemann, Christoph ^a   Reuys, Andreas ^a   Thuemmler, Axel ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENT DETERMINISTIC TRANSITIONS; DETERMINISTIC AND STOCHASTIC PETRI NETS;

GRAPHICAL USER INTERFACES; INTEGRAL EQUATIONS; ITERATIVE METHODS; MARKOV PROCESSES; MATHEMATICAL MODELS; NUMERICAL METHODS; PETRI NETS;

COMPUTER SOFTWARE;

EID: 0032597675     PISSN: 07313071     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (12)

1. M. Ajmone Marsan and G. Chiola, On Petri Nets with Deterministic and Exponentially Distributed Firing Times", in: G. Rozenberg (Ed.) Advances in Petri Nets 1987, Lecture Notes in Computer Science 266, 132-145, Springer 1987.
2. F. Bause, P. Buchholz, and P. Kemper, QPN-tool for the Specification and Analysis of Hierarchically Combined Queueing Petri Nets, in: H. Beilner, F. Bause (Eds.) Quantitative Evaluation of Computing and Communication Systems, Lecture Notes in Computer Science, Vol. 977, pp. 224-238, Springer 1995.
3. rd Int. Symp. on Fault-Tolerant Computing, Toulouse France, 668-673, 1993.
4. G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo, GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets, Performance Evaluation, 24, 47-68, 1995.
5. H. Choi, V.G. Kulkarni, and K.S. Trivedi, Transient Analysis of Deterministic and Stochastic Petri Nets, in:M. Ajmone Marsan (Ed.) Application and Theory of Petri Nets 1993, Lecture Notes in Computer Science 691, 166185, Springer 1993.
6. G. Ciardo, J. Muppala, and K.S. Trivedi, SPNP: Stochastic Petri Net Package, Proc. 3rd Int. Workshop on Petri Nets and Performance Models Kyoto Japan, 142-151, 1989.
7. A. Heindl and R. German, A Fourth Order Algorithm with Automatic Step Size Control for the Transient Analysis of DSPNs, Proc. 7th Int. Workshop on Petri Nets and Performance Models, Saint Malo, France, 60-69, 1996.
8. Ch. Lindemann, DSPNexpress: A Software Package for the Efficient Solution of Deterministic and Stochastic Petri Nets, Performance Evaluation, 22, 3-21, 1995.
9. Ch. Lindemann, Performance Modelling with Deterministic and Stochastic Petri Nets, John Wiley & Sons 1998.
10. Ch. Lindemann and G.S. Shedler, Numerical Analysis of Deterministic and Stochastic Petri Nets with Concurrent Deterministic Transitions, Performance Evaluation, Special Issue Proc. of PERFORMANCE '96, 27&28, 565582, 1996.
11. Ch. Lindemann and A. Thümmler, Transient Analysis of Deterministic and Stochastic Petri Nets with Concurrent Deterministic Transitions, (submitted for publication).
12. W.H. Sanders, W.D. Obal, M.A. Qureshi, and F.K. Widjanarko, The UltraSAN Modeling Environment, Performance Evaluation, 24, 89-115, 1995.