A characterization of the stochastic process underlying a stochastic Petri net
- 30 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 170-179
- https://doi.org/10.1109/pnpm.1993.393453
Abstract
Stochastic Petri nets (SPNs) with generally distributed firing times are isomorphic to generalized semi-Markov processes (GSMPs), but simulation is the only feasible approach for their solution. The authors explore a hierarchy of SPN classes where modeling power is reduced in exchange for an increasingly efficient solution. Generalized stochastic Petri nets (GSPNs), deterministic and stochastic Petri nets (DSPNs), semi-Markovian stochastic Petri nets (SM-SPNs), timed Petri nets (TPNs), and generalized timed Petri nets (GTPNs) are particular entries in the hierarchy. Additional classes of SPNs for which it is shown how to compute an analytical solution are obtained by the method of the embedded Markov chain (DSPNs are just one example in this class) and state discretization, which the authors apply not only to the continuous-time case (PH-type distributions), but also to the discrete case.Keywords
This publication has 14 references indexed in Scilit:
- Analysis of deterministic and stochastic Petri netsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Markov regenerative stochastic Petri netsPerformance Evaluation, 1994
- Analysis of stochastic Petri nets by the method of supplementary variablesPerformance Evaluation, 1994
- Modeling discrete event systems with state-dependent deterministic service timesDiscrete Event Dynamic Systems, 1993
- Transient analysis of deterministic and stochastic Petri netsPublished by Springer Nature ,1993
- A Generalized Timed Petri Net Model for Performance AnalysisIEEE Transactions on Software Engineering, 1987
- On Petri nets with deterministic and exponentially distributed firing timesPublished by Springer Nature ,1987
- Discrete Time Stochastic Petri NetsIEEE Transactions on Software Engineering, 1985
- The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov ProcessesOperations Research, 1984
- Performance Analysis Using Stochastic Petri NetsIEEE Transactions on Computers, 1982