Title: Hierarchically Combined Queueing Petri Nets

Author: Falko Bause, Peter Buchholz and Peter Kemper

Abstract:
Combining Petri Nets with Queueing Networks yields a modelling
formalism which allows a convenient description of queues and
scheduling strategies as well as conflicts and synchronisation
aspects. In this paper we combine Petri Nets and Queueing Networks to
a two-level hierarchy, hence called hierarchically combined Queueing
Petri Nets. This hierarchical modelling formalism supports an
efficient technique for quantitative analysis based on Markov chains.
The analysis technique allows analysis of models with a state space
about 10 times larger than conventional algorithms do. If the model
description reveals symmetries this factor grows towards several
orders of magnitude. The benefits of the approach are illustrated by a
non-trivial example.

Published in:
	Proc. 11th Int. Conf. on Analysis and Optimizations of Systems, 
	Discrete Event Systems, Sophia-Antipolis (France), Juni 1994
	Springer, Lecture Notes in Control and Information Sciences 199