In: Automation and Remote Control, Vol. 55, No. 3 pt.2, pages 400-408. 1994.
Abstract: A subclass of bounded nonconflicting timed stochastic Petri nets is studied, in which stochastic processes are semi-Markovian due to the nonexponential distribution of the firing times of timed transitions. Properties of the nets are investigated, under which the semi-Markov processes describing the nets have a finite number of states. Relations have been derived for computing the limiting probability distributions of markings in such nets.
Keywords: non-exponential distributions, semi-Markov processes, stochastic Petri nets, timed Petri nets.