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

Author: Falko Bause


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.