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

The queueing Petri net (QPN) paradigm provides a number of benefits over conventional modeling paradigms such as queueing networks and generalized stochastic Petri nets. Using queueing Petri nets (QPNs), one can integrate both hardware and software aspects of system behavior into the same model. This lends itself very well to modeling distributed component-based systems, such as modern e-business applications. However, currently available tools and techniques for QPN analysis suffer the state space explosion problem, imposing a limit on the size of the models that are tractable. In this paper, we present SimQPN--a simulation tool for QPNs that provides an alternative approach to analyze QPN models, circumventing the state space explosion problem. In doing this, we propose a methodology for analyzing QPN models by means of discrete event simulation. The methodology shows how to simulate QPN models and analyze the output data from simulation runs. We validate our approach by applying it to study several different QPN models, ranging from simple models to models of realistic systems. The performance of point and interval estimators implemented in SimQPN is subjected to a rigorous experimental analysis.

[1]  Averill M. Law,et al.  Confidence Intervals for Steady-State Simulations: I. A Survey of Fixed Sample Size Procedures , 1984, Oper. Res..

[2]  Chiahon Chien,et al.  Batch size selection for the batch means method , 1994, Proceedings of Winter Simulation Conference.

[3]  Daniel A. Menascé,et al.  Two-level iterative queuing modeling of software contention , 2002, Proceedings. 10th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems.

[4]  Peter Buchholz,et al.  Hierarchically combined queueing Petri nets , 1994 .

[5]  Krzysztof Pawlikowski,et al.  Experimental evaluation of confidence interval procedures in sequential steady-state simulation , 1996, Winter Simulation Conference.

[6]  Rossano Gaeta,et al.  Efficient Discrete-Event Simulation of Colored Petri Nets , 1996, IEEE Trans. Software Eng..

[7]  Stewart Robinson,et al.  A statistical process control approach for estimating the warm-up period , 2002, Proceedings of the Winter Simulation Conference.

[8]  Krzysztof Pawlikowski,et al.  Steady-state simulation of queueing processes: survey of problems and solutions , 1990, CSUR.

[9]  Falko Bause,et al.  Stochastic Petri Nets: An Introduction to the Theory , 2012, PERV.

[10]  Averill M. Law,et al.  Confidence Intervals for Steady-State Simulations II: A Survey of Sequential Procedures , 1982 .

[11]  C. Alexopoulos,et al.  To batch or not to batch , 2003, Proceedings of the 2003 Winter Simulation Conference, 2003..

[12]  Rupert G. Miller.  The jackknife-a review , 1974 .

[13]  Philip Heidelberger,et al.  Simulation Run Length Control in the Presence of an Initial Transient , 1983, Oper. Res..

[14]  Averill M. Law,et al.  Simulation Modeling and Analysis , 1982 .

[15]  K. Jensen.  Coloured Petri Nets and the Invariant-Method , 1983 .

[16]  Jack P. C. Kleijnen,et al.  Verification and validation of simulation models , 1995 .

[17]  John I. McCool,et al.  Probability and Statistics With Reliability, Queuing and Computer Science Applications , 2003, Technometrics.

[18]  Peter Buchholz,et al.  QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets , 1995, MMB.

[19]  Averill M. Law,et al.  Conservation equations and variance reduction in queueing simulations , 1977, WSC '77.

[20]  Kurt Jensen,et al.  Coloured Petri Nets and the Invariant-Method , 1981, Theor. Comput. Sci..

[21]  Stewart Robinson.  A statistical process control approach for estimating the warm-up period , 2002, Proceedings of the Winter Simulation Conference.

[22]  Christos Alexopoulos,et al.  Output analysis: output data analysis for simulations , 2000, WSC '01.

[23]  Falko Bause,et al.  "QN + PN = QPN" - Combining Queueing Networks and Petri Nets , 1993 .

[24]  F. Downton,et al.  Introduction to Mathematical Statistics , 1959 .

[25]  K. Mortensen.  Efficient Data-Structures and Algorithms for a Coloured Petri Nets Simulator , 2001 .

[26]  James R. Wilson,et al.  Experimental performance evaluation of batch means procedures for simulation output analysis , 2000, 2000 Winter Simulation Conference Proceedings (Cat. No.00CH37165).

[27]  Samuel Kounev,et al.  Performance modelling of distributed e-business applications using Queuing Petri Nets , 2003, 2003 IEEE International Symposium on Performance Analysis of Systems and Software. ISPASS 2003..

[28]  David Goldsman,et al.  The impact of transients on simulation variance estimators , 1997, WSC '97.

[29]  Kurt Jensen,et al.  Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools Aarhus, Denmark, August 29-31, 2001 , 2001 .

[30]  Kishor S. Trivedi.  Probability and Statistics with Reliability, Queuing, and Computer Science Applications , 1984 .

[31]  Takuji Nishimura,et al.  Mersenne twister: a 623-dimensionally equidistributed uniform pseudo-random number generator , 1998, TOMC.

[32]  Osman Balci.  Validation, verification, and testing techniques throughout the life cycle of a simulation study , 1994, WSC '94.

[33]  Barry L. Nelson,et al.  Statistical Analysis of Simulation Results , 2007 .

[34]  R. G. Sargent,et al.  Verification and validation of simulation models , 2003, Proceedings of the 2003 Winter Simulation Conference, 2003..

[35]  Shikharesh Majumdar,et al.  The Stochastic Rendezvous Network Model for Performance of Synchronous Client-Server-like Distributed Software , 1995, IEEE Trans. Computers.

[36]  Russell R. Barton,et al.  Proceedings of the 2000 winter simulation conference , 2000 .

[37]  M LawAverill,et al.  Confidence Intervals for Steady-State Simulations II , 1982 .

[38]  Samuel Kounev,et al.  Performance Modeling and Evaluation of Large-Scale J2EE Applications , 2003, Int. CMG Conference.

[39]  Krzysztof Pawlikowski,et al.  Coverage of confidence intervals in sequential steady-state simulation , 1998, Simul. Pract. Theory.

[40]  Falko Bause,et al.  Queueing Petri Nets-A formalism for the combined qualitative and quantitative analysis of systems , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

[41]  Emily K. Lada,et al.  ASAP3: a batch means procedure for steady-state simulation analysis , 2005, TOMC.

[42]  Christos Alexopoulos,et al.  Output data analysis for simulations , 2001, Proceeding of the 2001 Winter Simulation Conference (Cat. No.01CH37304).

[43]  Catherine M. Harmonosky,et al.  A comparison of selective initialization bias elimination methods , 2002, Proceedings of the Winter Simulation Conference.

[44]  Peter Buchholz,et al.  Integrating Software and Hardware Performance Models Using Hierarchical Queeing Petri Nets , 1997, MMB.

[45]  R. F. Brown,et al.  PERFORMANCE EVALUATION , 2019, ISO 22301:2019 and business continuity management – Understand how to plan, implement and enhance a business continuity management system (BCMS).

[46]  Jerome A. Rolia,et al.  The Method of Layers , 1995, IEEE Trans. Software Eng..