Steady-state simulation of queueing processes: survey of problems and solutions
ACM Computing Surveys (CSUR)
Verification and validation of simulation models
WSC '94 Proceedings of the 26th conference on Winter simulation
Batch size selection for the batch means method
WSC '94 Proceedings of the 26th conference on Winter simulation
IEEE Transactions on Computers
Efficient Discrete-Event Simulation of Colored Petri Nets
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
Experimental evaluation of confidence interval procedures in sequential steady-state simulation
WSC '96 Proceedings of the 28th conference on Winter simulation
The impact of transients on simulation variance estimators
Proceedings of the 29th conference on Winter simulation
Mersenne twister: a 623-dimensionally equidistributed uniform pseudo-random number generator
ACM Transactions on Modeling and Computer Simulation (TOMACS) - Special issue on uniform random number generation
Probability and statistics with reliability, queuing and computer science applications
Probability and statistics with reliability, queuing and computer science applications
Experimental performance evaluation of batch means procedures for simulation output analysis
Proceedings of the 32nd conference on Winter simulation
Simulation Modeling and Analysis
Simulation Modeling and Analysis
Output analysis: output data analysis for simulations
Proceedings of the 33nd conference on Winter simulation
Stochastic Petri Nets: An Introduction to the Theory
ACM SIGMETRICS Performance Evaluation Review - Special issue on Stochastic Petri Nets
IEEE Transactions on Software Engineering
Two-Level Iterative Queuing Modeling of Software Contention
MASCOTS '02 Proceedings of the 10th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
General methodology 2: a comparison of selective initialization bias elimination methods
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
ASAP3: a batch means procedure for steady-state simulation analysis
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Performance modelling of distributed e-business applications using Queuing Petri Nets
ISPASS '03 Proceedings of the 2003 IEEE International Symposium on Performance Analysis of Systems and Software
Data management research at Technische Universität Darmstadt
ACM SIGMOD Record
Performance Modeling and Evaluation of Distributed Component-Based Systems Using Queueing Petri Nets
IEEE Transactions on Software Engineering
Autonomic QoS-Aware resource management in grid computing using online performance models
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Autonomic QoS control in enterprise Grid environments using online simulation
Journal of Systems and Software
QPME: a performance modeling tool based on queueing Petri Nets
ACM SIGMETRICS Performance Evaluation Review
Quality of protection analysis and performance modeling in IP multimedia subsystem
Computer Communications
EPEW'07 Proceedings of the 4th European performance engineering conference on Formal methods and stochastic models for performance evaluation
Security based survivability risk analysis with extended HQPN
Proceedings of the 5th International Conference on Ubiquitous Information Management and Communication
QPME 2.0: a tool for stochastic modeling and analysis using queueing Petri nets
From active data management to event-based systems and more
HTCPNs: based tool for web-server clusters development
CEE-SET'08 Proceedings of the Third IFIP TC 2 Central and East European conference on Software engineering techniques
Automated simulation-based capacity planning for enterprise data fabrics
Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques
Validating model-driven performance predictions on random software systems
QoSA'10 Proceedings of the 6th international conference on Quality of Software Architectures: research into Practice - Reality and Gaps
Can linear approximation improve performance prediction ?
EPEW'11 Proceedings of the 8th European conference on Computer Performance Engineering
Introduction to queueing petri nets: modeling formalism, tool support and case studies
ICPE '12 Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering
HTCPNs---Based modelling and evaluation of dynamic computer cluster reconfiguration
CEE-SET'09 Proceedings of the 4th IFIP TC 2 Central and East European conference on Advances in Software Engineering Techniques
Stochastic modeling and analysis using QPME: queueing petri net modeling environment v2.0
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
An Exposition of Performance-Security Trade-offs in RANETs Based on Quantitative Network Models
Wireless Personal Communications: An International Journal
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Performance queries for architecture-level performance models
Proceedings of the 5th ACM/SPEC international conference on Performance engineering
Performance modeling and analysis of message-oriented event-driven systems
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
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.