A Modeling Framework to Implement Preemption Policies in Non-Markovian SPNs
IEEE Transactions on Software Engineering
A Fourth-Order Algorithm with Automatic Stepsize Control for the Transient Analysis of DSPNs
IEEE Transactions on Software Engineering
Time Domain Analysis of Non-Markovian Stochastic Petri Nets with PRI Transitions
IEEE Transactions on Software Engineering
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
TiPNet: a graphical tool for timed Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Transient analysis of Markov regenerative stochastic Petri nets: a comparison of approaches
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
A Fourth-Order Algorithm with Automatic Stepsize Control for the Transient Analysis of DSPNs
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
New Primitives for Interlaced Memory Policies in Markov Regenerative Stochastic Petri Nets
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Performability analysis of clustered systems with rejuvenation under varying workload
Performance Evaluation
Modeling a flexible manufacturing cell using stochastic Petri nets with fuzzy parameters
Expert Systems with Applications: An International Journal
| Hi-index | 0.00 |
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.