Stochastic Petri net representation of discrete event simulations
- 1 April 1989
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 15 (4) , 381-393
- https://doi.org/10.1109/32.16599
Abstract
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.<>Keywords
This publication has 10 references indexed in Scilit:
- Stochastic petri nets with timed and immediate transitionsCommunications in Statistics. Stochastic Models, 1989
- Modeling Power of Stochastic Petri Nets for SimulationProbability in the Engineering and Informational Sciences, 1988
- Regenerative generalized semi-markov processesCommunications in Statistics. Stochastic Models, 1987
- Regenerative stochastic Petri netsPerformance Evaluation, 1986
- Regenerative simulation methods for local area computer networksIBM Journal of Research and Development, 1985
- A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systemsACM Transactions on Computer Systems, 1984
- Simulation of Non-Markovian SystemsIBM Journal of Research and Development, 1983
- Performance Analysis Using Stochastic Petri NetsIEEE Transactions on Computers, 1982
- Continuity of Generalized Semi-Markov ProcessesMathematics of Operations Research, 1980
- Stochastic ProcessesPublished by Springer Nature ,1977