In: Forschungsbericht Nr. 383 des FB Informatik, Univ. Dortmund. 1992.
Abstract: System analysis is often needed with respect of both qualitative and quantitative aspects. In the last two decades, several model worlds have been developed that attempt to combine qualitative and quantitative aspects. Present emphasis is on Timed and Stochastic Petri Net models. On the disadvantages of these model worlds lies with the dificulties when describing scheduling strategies with Petri Net elements. This paper describes the QPN world, which combines Queueing Networks and Petri Nets, aiming at eliminating these disadvantages. The QPN world is a superset of Queueing Networks, Petri Nets and Timed and Stochastic Petri Nets. We also discuss the analysis of time-augmented Petri Nets in general. It is shown that several important qualitativefeaturesneed not carry over to a Timed Petri Net, although they hold for the underlying ``untimed'' net.