Portal de Periódicos da CAPES

Stochastic Modeling and Analysis Using QPME: Queueing Petri Net Modeling Environment v2.0

2012; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-3-642-31131-4_21

1611-3349

Simon Spinner, Samuel Kounev, Philipp Meier,

Advanced Software Engineering Methodologies

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.