Abstract
Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the modeling power and expressiveness of queueing networks and stochastic Petri nets, queueing Petri nets provide a number of advantages. In this paper, we present QPME (Queueing Petri net Modeling Environment) - a tool that supports the modeling and analysis of systems using queueing Petri nets. QPME provides an Eclipse-based editor for designing queueing Petri net models and a powerful simulation engine for analyzing the models. After presenting the tool, we discuss the ongoing work on the QPME project and the planned future enhancements of the tool.
- F. Bause. Queueing Petri Nets -- A formalism for the combined qualitative and quantitative analysis of systems. In Proc. of 5th Intl. Workshop on Petri Nets and Perf. Models, Toulouse, France, Oct. 19-22, 1993.Google ScholarCross Ref
- F. Bause, P. Buchholz, and P. Kemper. QPN-Tool for the Specification and Analysis of Hierarchically Combined Queueing Petri Nets. In Quantitative Evaluation of Computing and Communication Systems, volume 977 of LNCS. Springer, 1995.Google Scholar
- F. Bause and F. Kritzinger. Stochastic Petri Nets -- An Introduction to the Theory. Vieweg Verlag, 2002.Google Scholar
- S. Becker, H. Koziolek, and R. Reussner. The Palladio Component Model for Model-Driven Performance Prediction: Extended version. Journal of Systems and Software, 2008. In Press, Accepted Manuscript. Google ScholarDigital Library
- J. Billington, S. Christensen, K. van Hee, E. Kindler, O. Kummer, L. Petrucci, R. Post, C. Stehno, and M. Weber. The Petri Net Markup Language: Concepts, Technology, and Tools. In Proc. of 24th Intl. Conf. on Application and Theory of Petri Nets, June 23-27, Eindhoven, Holland, 2003. Google ScholarDigital Library
- J. Carson and A. Law. Conservation Equations and Variance Reduction in Queueing Simulations. Operations Research, 28, 1980.Google Scholar
- CERN -- European Organisation for Nuclear Research. The Colt Distribution -- Open Source Libraries for High Performance Scientific and Technical Computing in Java, 2004. http://dsd.lbl.gov/~hoschek/colt/.Google Scholar
- C. Dutz. QPE -- A Graphical Editor for Modeling using Queueing Petri Nets. Master thesis, Technische Universität Darmstadt, Apr. 2006.Google Scholar
- S. Kounev. Performance Modeling and Evaluation of Distributed Component-Based Systems using Queueing Petri Nets. IEEE Transactions on Software Engineering, 32(7):486--502, July 2006. Google ScholarDigital Library
- S. Kounev. QPME Homepage, 2008. http://sdq.ipd.uka.de/people/samuel_kounev/projects/QPME.Google Scholar
- S. Kounev and A. Buchmann. Performance Modelling of Distributed E-Business Applications using Queuing Petri Nets. In Proc. of the 2003 IEEE Intl. Symposium on Performance Analysis of Systems and Software, Austin, USA, March 20-22, 2003. Google ScholarDigital Library
- S. Kounev and A. Buchmann. SimQPN -- a tool and methodology for analyzing queueing Petri net models by means of simulation. Performance Evaluation, 63(4-5):364--394, May 2006. Google ScholarDigital Library
- S. Kounev, R. Nou, and J. Torres. Autonomic QoS-Aware Resource Management in Grid Computing using Online Performance Models. In Proc. of 2nd Intl. Conf. on Perf. Evaluation Methodologies and Tools -- VALUETOOLS, Oct. 23-25, Nantes, France, 2007. Google ScholarDigital Library
- S. Kounev, K. Sachs, J. Bacon, and A. Buchmann. A Methodology for Performance Modeling of Distributed Event-Based Systems. In Proc. of 11th IEEE Intl. Symp. on Object/Comp./Service-oriented Real-time Distr. Computing (ISORC), Orlando, USA, May 2008. Google ScholarDigital Library
- A. Law and D.W. Kelton. Simulation Modeling and Analysis. Mc Graw Hill, Inc., 3rd edition, 2000. Google ScholarDigital Library
- M. Matsumoto and T. Nishimura. Mersenne Twister: A 623-Dimensionally Equidistributed Uniform Pseudo-Random Number Generator. ACM Trans. on Modeling and Comp. Simulation, 8(1):3--30, 1998. Google ScholarDigital Library
- R. Nou, S. Kounev, F. Julia, and J. Torres. Autonomic QoS control in enterprise Grid environments using online simulation. Journal of Systems and Software, to appear, 2008. Google ScholarDigital Library
- K. Pawlikowski. Steady-State Simulation of Queueing Processes: A Survey of Problems and Solutions. ACM Computing Surveys, 22(2):123--170, 1990. Google ScholarDigital Library
- N. Steiger, E. Lada, J. Wilson, J. Joines, C. Alexopoulos, and D. Goldsman. ASAP3: a batch means procedure for steady-state simulation analysis. ACM Transactions on Modeling and Computer Simulation, 15(1):39--73, 2005. Google ScholarDigital Library
- The Eclipse Foundation. Graphical Editing Framework (GEF). http://www.eclipse.org/gef/, 2006.Google Scholar
- University of Hamburg. Petri Net Tool Database. http://www.informatik.uni-hamburg.de/TGI/PetriNets/tools, 2008.Google Scholar
Index Terms
- QPME: a performance modeling tool based on queueing Petri Nets
Recommendations
QPME 2.0: a tool for stochastic modeling and analysis using queueing Petri nets
From active data management to event-based systems and moreQueueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the modeling power and expressiveness of queueing networks and stochastic Petri nets, ...
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 NetsQueueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the modeling power and expressiveness of queueing networks and stochastic Petri nets, ...
QPME - Queueing Petri Net Modeling Environment
QEST '06: Proceedings of the 3rd international conference on the Quantitative Evaluation of SystemsQueueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. However, currently available tools for modeling and analysis using queueing Petri nets are very limited ...
Comments