New results for the analysis of deterministic and stochastic Petri nets
- 19 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 114-123
- https://doi.org/10.1109/ipds.1995.395812
Abstract
This paper presents new methods for the transient and stationary analysis of stochastic Petri nets with exponentially distributed and deterministic firing delays. The method of supplementary variables is used for the derivation of general state equations which describe the temporal behavior of the underlying stochastic process. Numerical algorithms are presented for the solution of the state equations and illustrated by numerical examples. The results of this paper allow an enhanced performance and reliability analysis based on stochastic Petri net models.Keywords
This publication has 12 references indexed in Scilit:
- Transient analysis of the leaky bucket rate control scheme under Poisson and ON-OFF sourcesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- TimeNET-a toolkit for evaluating non-Markovian stochastic Petri netsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Markov regenerative SPN with non-overlapping activity cyclesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Time-Dependent Behavior of Redundant Systems with Deterministic RepairPublished by Springer Nature ,1995
- A characterization of the stochastic process underlying a stochastic Petri netIEEE Transactions on Software Engineering, 1994
- Markov regenerative stochastic Petri netsPerformance Evaluation, 1994
- Analysis of self-stabilizing clock synchronization by means of stochastic Petri netsIEEE Transactions on Computers, 1990
- Introduction to Numerical AnalysisPublished by Springer Nature ,1980
- Transient solutions in markovian queueing systemsComputers & Operations Research, 1977
- The analysis of non-Markovian stochastic processes by the inclusion of supplementary variablesMathematical Proceedings of the Cambridge Philosophical Society, 1955