Quantitative system evaluation with DSPNexpress 2000

Proceedings Second International Workshop on Software and Performance WOSP 2000

Volumn , Issue , 2000, Pages 12-17

  Lindemann, Christoph ^a   Thümmler, Axel ^a   Klemm, Alexander ^a   Lohmann, Marco ^a   Waldhorst, Oliver P ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

Frameworks; Numerical techniques for the analysis of discrete event systems; Performance evaluation methods; Petri nets; Quantitative evaluation of UML specifications; Tools

Indexed keywords

COMPUTER SOFTWARE; MARKOV PROCESSES; NETWORK PROTOCOLS; QUEUEING THEORY; RANDOM PROCESSES; TELECOMMUNICATION NETWORKS;

PERFORMANCE EVALUATION METHODS;

PETRI NETS;

EID: 0034592884     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/350391.350396     Document Type: Conference Paper

References (15)

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. M. Fowler, UML Distilled: Applying the Standard Object Modeling Language, Addison-Wesley 1997.
3. R. German and A. Heindl, A Fourth Order Algorithm with Automatic Step Size Control for the Transient Analysis of DSPNs, IEEE Trans. Softw. Engin., 25, 194-206, 1999.
4. D. Harel and M. Politi, Modeling Reactive Systems with StateCharts: The StateMate Approach, McGraw Hill 1998.
5. P. King, R. Pooley, Derivation of Petri Net Performance Models from UML Specifications of Communications Software, Proc. 11th Int. Conf. on Tools and Techniques for Computer Performance Evaluation, Schaumburg, Illinois, 2000.
6. Ch. Lindemann, DSPNexpress: A Software Package for the Efficient Solution of Deterministic and Stochastic Petri Nets, Performance Evaluation, 22, 3-21, 1995.
7. Ch. Lindemann, Performance Modelling with Deterministic and Stochastic Petri Nets, John Wiley & Sons 1998.
8. 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, 565-582, 1996.
9. Ch. Lindemann and A. Thümmler, Transient Analysis of Deterministic and Stochastic Petri Nets with Concurrent Deterministic Transitions, Performance Evaluation, Special Issue Proc. of PERFORMANCE '99, 36&37, 35-54, 1999.
10. Ch. Lindemann and A. Thümmler, Numerical Analysis of Generalized Semi-Markov Processes, Technical Report University of Dortmund, (submitted for publication).
11. Rhapsody, http://www.ilogix.com/.
12. W.H. Sanders, Integrated Frameworks for Multi-Level and Multi-Formalism Modeling, Proc. 8th Int. Workshop on Petri Nets and Performance Models, Zaragoza Spain, 2-11, 1999.
13. W.H. Sanders, W.D. Obal, M.A. Qureshi, and F.K. Widjanarko, The UltraSAN Modeling Environment, Performance Evaluation, 24, 89-115, 1995.
14. C.U. Smith, Performance Engineering of Software Systems, Addison Wesley 1990.
15. M. Woodside, Software Performance Evaluation by Models, in: G. Haring, Ch. Lindemann, M. Reiser (Eds.) Performance Evaluation: Origins and Directions, LNCS State-of-the-Art Survey, 283-304, Springer-Verlag 2000.