Sprungmarken

Servicenavigation

Hauptnavigation

Sie sind hier:

Hauptinhalt

1994eq_qspn

Title: Combining Qualitative and Quantitative Analysis of Generalized Stochastic Petri Nets

Author: Falko Bause

Abstract:

Generalized Stochastic Petri nets (GSPNs) comprise two types of  transitions: timed and immediate. Since firing of immediate  transitions has priority on firing of timed transitions several properties of the underlying Petri net need not be valid for the GSPN.

This article proves that liveness and the existence of home states of equal conflict nets, a generalisation of extended free choice nets, carry over to the time-augmented net iff conflicting  transitions are either timed or immediate. This implies the existence of the steady state distribution of the corresponding Markov process for bounded nets.

Published in:

        Forschungsbericht Nr. 527 des Fachbereichs Informatik

        der Universitaet Dortmund (Germany), 1994.