SimQPN - A tool and methodology for analyzing queueing Petri net models by means of simulation

Performance Evaluation

Volumn 63, Issue 4-5, 2006, Pages 364-394

  Kounev, Samuel ^a   Buchmann, Alejandro ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Capacity planning; Distributed component based systems; Performance prediction; Queueing Petri nets; Simulation modeling

Indexed keywords

CAPACITANCE; COMPUTER SIMULATION; DISTRIBUTED COMPUTER SYSTEMS; PERFORMANCE; QUEUEING NETWORKS; REAL TIME SYSTEMS; STOCHASTIC PROGRAMMING;

CAPACITY PLANNING; DISTRIBUTED COMPONENT-BASED SYSTEMS; PERFORMANCE PREDICTION; QUEUEING PETRI NETS (QPN);

PETRI NETS;

EID: 33144488632     PISSN: 01665316     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.peva.2005.03.004     Document Type: Article

References (45)

1. C. Alexopoulos, and D. Goldsman To batch or not to batch ACM Trans Model. Comput. Simul. 14 1 2004 76 114
2. C. Alexopoulos, and A. Seila Output data analysis for simulations Proceedings of the 2001 Winter Simulation Conference 2001
3. O. Balci Validation, verification and testing techniques throughout the life cycle of a simulation study Ann. Oper. Res. 53 1994 121 174
4. F. Bause, "QN + PN = QPN" - combining queueing networks and petri nets, Technical Report no. 461, Dept. of CS, University of Dortmund, Germany, 1993.
5. F. Bause Queueing Petri nets - a formalism for the combined qualitative and quantitative analysis of systems Proceedings of the Fifth International Workshop on Petri Nets and Performance Models 1993
6. F. Bause, P. Buchholz, and P. Kemper Hierarchically combined queueing Petri nets Proceedings of 11th International Conference on Analysis and Optimization of Systems 1994
7. F. Bause, P. Buchholz, P. Kemper, QPN-tool for the specification and analysis of hierarchically combined queueing Petri nets, Quantitative Evaluation of Computing and Communication Systems, LNCS No. 977, 1995.
8. F. Bause, P. Buchholz, and P. Kemper Integrating software and hardware performance models using hierarchical queueing Petri nets Proceedings of the ninth ITG/GI on Fachtagung Messung, Modellierung und Bewertung von Rechen-und Kommunikationssystemen (MMB'97) Freiberg, Germany 1997
9. F. Bause, and F. Kritzinger Stochastic Petri Nets - An Introduction to the Theory 2002 Vieweg Verlag
10. G. Bolch, M. Kirschnick, PEPSY-QNS, Technical Report TR-I4-94-18, University of Erlangen-Nuremberg, Germany, June 1994. http://www4.informatik. uni-erlangen.de/Projects/PEPSY/en/pepsy.html.
11. C. Chien Batch size selection for the batch means method Proceedings of the 1994 Winter Simulation Conference 1994
12. J.S. Carson, and A.M. Law Conservation equations and variance reduction in queueing simulations Oper. Res. 28 1980
13. North Carolina State University Department of Industrial Engineering, ASAP3 Software For Steady-State Simulation Output Analysis, 2003. ftp://ftp.ncsu.edu/pub/eos/pub/jwilson/installasap3.exe.
14. CERN-European Organisation for Nuclear Research, The Colt Distribution, http://hoschek.home.cern.ch/hoschek/colt/.
15. R. Gaeta Efficient discrete-event simulation of colored Petri nets IEEE Trans. Software Eng. 22 9 1996
16. P. Heidelberger, and P.D. Welch Simulation run length control in the presence of an initial transient Oper. Res. 31 1983 1109 1145
17. R.V. Hogg, and A.F. Craig Introduction to Mathematical Statistics 5th ed. 1995 Prentice-Hall Upper Saddle River, NJ
18. G. Iazeolla A. Lehmann H.J. Van Den Herik Simulation Methodologies, Languages, Architectures, AI and Graphics for Simulation 1989 The Society for Computer Simulation International La Jolla, USA
19. K. Jensen, Coloured Petri Nets and the Invariant Method, Mathematical Foundations on Computer Science, Lecture Notes in Computer Science, vol. 118, 1981, pp. 327-338.
20. J.P.C. Kleijnen Theory and methodology: verification and validation of simulation models Eur. J. Oper. Res. 82 1 1995 145 162
21. S. Kounev, and A. Buchmann Performance modeling and evaluation of large-scale J2EE applications Proceedings of 29th International Conference on Resource Management and Performance Evaluation of Enterprise Computing Systems, CMG2003 2003
22. S. Kounev, and A. Buchmann Performance modeling of distributed e-business applications using queueing Petri nets Proceedings of the 2003 IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS2003 2003
23. A. Law, and W. David Kelton Simulation Modeling and Analysis 3rd ed. 2000 Mc Graw-Hill Companies, Inc.
24. A. Law, and W.D. Kelton Confidence intervals for steady-state simulations. II. A survey of sequential procedures Manage. Sci. 28 5 1982 550 562
25. J.-S.R. Lee, D. McNickle, and K. Pawlikowski Confidence interval estimators for coverage analysis in sequential steady-state simulation Proceedings of the 22nd Australian Computer Science Conference Auckland, New Zealand 1999
26. J.R. Linton, and C.M. Harmonosky A comparison of selective initialization bias elimination methods Proceedings of the 2002 Winter Simulation Conference 2002
27. M. Matsumoto, and T. Nishimura Mersenne twister: a 623-dimensionally equidistributed uniform pseudo-random number generator ACM Trans. Model. Comput. Simul. 1998
28. D. McNickle, K. Pawlikowski, and G. Ewing Experimental evaluation of confidence interval procedures in sequential steady-state simulation Proceedings of the 1996 Winter Simulation Conference 1996
29. D. Menasce Two-level iterative queueing model of software contention Proceedings of 10th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems (MASCOTS 2002) 2002
30. K.H. Mortensen Efficient data-structures and algorithms for a coloured Petri nets simulator Proceedings of the Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools 2001
31. D. Ockerman, and D. Goldsman The impact of transients on simulation variance estimators Proceedings of the 1997 Winter Simulation Conference 1997
32. University of Aarhus, Petri Net Tool Database, Department of Computer Science (DIAMI). http://www.daimi.au.dk/PetriNets/tools/.
33. K. Pawlikowski Steady-state simulation of queueing processes: a survey of problems and solutions ACM Comput. Surv. 22 2 1990 123 170
34. K. Pawlikowski, D. McNickle, and G. Ewing Coverage of confidence intervals in sequential steady-state simulation J. Simul. Pract. Theory 6 3 1998 255 267 (Plus: "Erratum" 7(1):1, 1999)
35. H. Perros, Computer simulation techniques - the definitive introduction, E-Book, NC State University, 2003. http://www.csc.ncsu.edu/faculty/perros/ simulation.pdf.
36. R.G. Miller The Jackknife: a review Biometrika 61 1974 1 15
37. S. Robinson A Statistical process control approach for estimating the warm-up period Proceedings of the 2002 Winter Simulation Conference 2002
38. J. Rolia, and K. Sevcik The method of layers IEEE Trans. Software Eng. 21 8 1995 689 700
39. R.G. Sargent Verification and validation of simulation models A. Seila S. Manivannan J. Tew D. Sadowski Proceedings of the Winter Simulation Conference 1994
40. Standard Performance Evaluation Corporation (SPEC), SPECjAppServer2001 and SPECjAppServer2002 Benchmark Documentation, 2002. http://www.spec.org/osg/ jAppServer/.
41. N. Steiger, E. Lada, J. Wilson, J. Joines, C. Alexopoulos, and D. Goldsman ASAP3: a batch means procedure for steady-state simulation output analysis ACM Trans. Model. Comput. Simul. 82 2003 ftp://ftp.ncsu.edu/pub/eos/ pub/jwilson/tomacsv37.pdf
42. N. Steiger, and J. Wilson Experimental performance evaluation of batch means procedures for simulation output analysis Proceedings of the 2000 Winter Simulation Conference 2000
43. K.S. Trivedi Probability Statistics with Reliability, Queuing and Computer Science Applications 2nd ed. 2002 John Wiley & Sons
44. P.D. Welch The statistical analysis of simulation results S. Lavenberg The Computer Performance Modeling Handbook 1983 Academic Press NJ
45. M. Woodside, J. Neilson, D. Petriu, and S. Majumdar The stochastic rendezvous network model for performance of synchronous client-server-like distributed software IEEE Trans. Comput. 44 1 1995 20 34