Title:  Product Form Queueing Petri Nets:

         A Combination of Product Form Queueing Networks and

         Product Form Stochastic Petri Nets

Authors:  Falko Bause, Peter Buchholz


The product form results recently published for Stochastic Petri Nets are combined with the well known product form results for Queueing Networks in the model formalism of Queueing Petri Nets yielding the class of product form Queueing Petri Nets. This model class includes Stochastic Petri Nets with product form solution and BCMP Queueing Networks as special cases. We introduce an arrival theorem for the model class and present an exact aggregation approach extending known approaches from Queueing Networks. 

Published in:

        Forschungsbericht Nr. 529 des Fachbereichs Informatik

        der Universitaet Dortmund (Germany), 1994.

(revised version, submitted for publication)