In: in Beilner, H.; Bause, F.: Lecture Notes in Computer Science, Vol. 977: Quantitative Evaluation of Computing and Communication Systems, pages 224-238. Springer-Verlag, 1995.
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 of 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 techn iques 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.