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.