Preemptive repeat identical transitions in Markov regenerative stochastic Petri nets

Recent literature on Markov regenerative stochastic Petri nets (MRSPN) assumes that the random firing time associated to each transition is resampled each time the transition fires or is disabled by the firing of a competitive transition. This modeling assumption does not cover the case of preemption mechanisms of repeat identical nature (PRI). In this policy, an interrupted job must be repeated with an identical requirement so that its associated random variable must not be resampled. The paper investigates the implication of a PRI policy into a MRSPN and describes an analytical procedure for the derivation of expressions for the transient probabilities.