A subclass of bounded nonconflicting timed stochastic Petri nets is st
udied, in which stochastic processes are semi-Markovian due to the non
exponential distribution of the firing times of timed transitions. Pro
perties of the nets are investigated, under which the semi-Markov proc
esses describing the nets have a finite number of states. Relations ha
ve been derived for computing the limiting probability distributions o
f markings in such nets.