Issue No. 04 - April (1989 vol. 15)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.16599
<p>In the context of discrete event simulation, the marking of a stochastic Petri net (SPN) corresponds to the state of the underlying stochastic process of the simulation and the firing of a transition corresponds to the occurrence of an event. A study is made of the modeling power of SPNs with timed and immediate transitions, showing that such Petri nets provide a general framework for simulation. The principle result is that for any (finite or) countable state GSMP (generalized semi-Markov process) there exists an SPN having a marking process that mimics the GSMP in the sense that the two processes (and their underlying general state-space Markov chains) have the same finite dimensional distributions.</p>
transition firings; timed transitions; Petri net simulation; discrete event simulation; stochastic Petri net; countable state GSMP; generalized semi-Markov process; formal specification; Markov processes; Petri nets; simulation.
"Stochastic Petri Net Representation of Discrete Event Simulations," in IEEE Transactions on Software Engineering, vol. 15, no. , pp. 381-393, 1989.