In: IEEE, Transaction on Software Engineering, Vol. 15, No. 4, pages 381-393. 1989.
Abstract: A generalized semi-Markov process (GSMP) is the usual model for the underlying stochastic process of a discrete event simulation. In this paper, the authors study the modeling power of stochastic Petri nets (SPN's) with timed and immediate transitions and show that such Petri nets provide a general framework for simulation. The principle result is that for any (countable) state GSMP there exists an SPN having a marking process that ``mimics'' the GSMP.
Keywords: stochastic net; discrete >event simulation; markov process, (semi-, generalized).