Stochastic modeling and analysis using QPME: queueing petri net modeling environment v2.0

  • Authors:
  • Simon Spinner;Samuel Kounev;Philipp Meier

  • Affiliations:
  • Karlsruhe Institute of Technology (KIT), Karlsruhe, Germany;Karlsruhe Institute of Technology (KIT), Karlsruhe, Germany;Karlsruhe Institute of Technology (KIT), Karlsruhe, Germany

  • Venue:
  • PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

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 our tool QPME (Queueing Petri net Modeling Environment) for modeling and analysis using queueing Petri nets. QPME provides an Eclipse-based editor for building queueing Petri net models and a powerful simulation engine for analyzing these models. The development of the tool started in 2003 and since then the tool has been distributed to more than 120 organizations worldwide.