QPME (Queueing Petri net Modeling Environment) is a performance modeling and analysis tool based on the Queueing Petri Net (QPN) modeling formalism.