Next: Introduction

University of Dortmund, Informatik IV, D-44221 Dortmund, Germany
e-mail: {bause,buchholz,kemper}

for the Specification and Analysis of
Hierarchically Combined Queueing Petri Nets

Falko Bause, Peter Buchholz, Peter Kemper


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

Tue Jan 9 09:13:23 MET 1996