QPME - Queueing Petri Net Modeling Environment

Queueing 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 in terms of the scalability of the analysis algorithms they provide. Moreover, tools are available only on highly specialized platforms unaccessible to most potential users. In this paper, we present QPME - a queueing Petri net modeling environment that supports the modeling and analysis of systems using queueing Petri nets. QPME runs on a wide range of platforms and provides a powerful simulation engine that can be used to analyze models of realistically-sized systems

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

[2]  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..

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

[4]  Vom Fachbereich Informatik.  Performance Engineering of Distributed Component-Based Systems - Benchmarking, Modeling and Performance Prediction , 2005 .

[5]  Samuel Kounev,et al.  SimQPN - A tool and methodology for analyzing queueing Petri net models by means of simulation , 2006, Perform. Evaluation.

[6]  Samuel Kounev,et al.  Performance Engineering of Distributed Component-Based Systems - Benchmarking, Modeling and Performance Prediction , 2005 .

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

[8]  Samuel Kounev,et al.  Performance Modeling and Evaluation of Distributed Component-Based Systems Using Queueing Petri Nets , 2006, IEEE Transactions on Software Engineering.

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

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

[11]  Christofer Dutz,et al.  QPE - A Graphical Editor for Modeling using Queueing Petri Nets , 2006 .

[12]  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).

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

[14]  Laure Petrucci,et al.  The Petri Net Markup Language: Concepts, Technology, and Tools , 2003, ICATPN.

[15]  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.

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