Next: Introduction
University of Dortmund, Informatik IV, D-44221 Dortmund,
Germany
e-mail: {bause,buchholz,kemper}@ls4.cs.tu-dortmund.de
QPN-Tool
for the Specification and Analysis of
Hierarchically Combined Queueing Petri Nets
Falko Bause, Peter Buchholz, Peter Kemper
Abstract:
This article describes a new version of the QPN-Tool now supporting
specification and analysis of hierarchically combined Queueing Petri
nets (HQPNs). HQPNs are an extension of QPNs allowing the refinement
of places by QPN subnets and/or queues. HQPNs can be analysed
with respect to qualitative and quantitative aspects. Quantitative
analysis is based on numerical Markov chain analysis. In contrast to
conventional techniques the Markov chain underlying a HQPN is analysed
by an approach exploiting the hierarchical structure of the model
which results in a tensor representation of the generator matrix.
This technique extends the size of solvable state spaces by one order
of magnitude. Qualitative analysis of HQPNs relies on efficient
analysis techniques based on Petri net theory. The new version of
QPN-Tool implements the above analysis approaches supported
by a graphical interface for a convenient specification of complex
models.
Keywords: Hierarchical Modelling, Queueing Networks, Coloured GSPNs,
Tensor Based Numerical Analysis,
Combined Qualitative and Quantitative Analysis
Next: Introduction
Hierarchically Combined Queueing Petri Nets
