Regenerative stochastic Petri nets
Performance Evaluation
The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets
IEEE Transactions on Software Engineering
Analysis of stochastic Petri nets by the method of supplementary variables
Performance '93 Proceedings of the 16th IFIP Working Group 7.3 international symposium on Computer performance modeling measurement and evaluation
Markov regenerative stochastic Petri nets
Performance '93 Proceedings of the 16th IFIP Working Group 7.3 international symposium on Computer performance modeling measurement and evaluation
Performance Evaluation - Special issue: 6th international conference on modelling techniques and tools for computer performance evaluation
Modeling and analysis of stochastic systems
Modeling and analysis of stochastic systems
A Characterization of the Stochastic Process Underlying a Stochastic Petri Net
IEEE Transactions on Software Engineering
Markov Regenerative Stochastic Petri Nets with Age Type General Transitions
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
On Petri nets with deterministic and exponentially distributed firing times
Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets
Transient Analysis of Deterministic and Stochastic Petri Nets
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Steady State Analysis of Markov Regenerative SPN with Age Memory Policy
MMB '95 Proceedings of the 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation: Quantitative Evaluation of Computing and Communication Systems
Preemptive repeat identical transitions in Markov regenerative stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Steady State Solution of MRSPN with Mixed Preemption Policies
IPDS '96 Proceedings of the 2nd International Computer Performance and Dependability Symposium (IPDS '96)
New results for the analysis of deterministic and stochastic Petri nets
IPDS '95 Proceedings of the International Computer Performance and Dependability Symposium on Computer Performance and Dependability Symposium
Markov regenerative SPN with non-overlapping activity cycles
IPDS '95 Proceedings of the International Computer Performance and Dependability Symposium on Computer Performance and Dependability Symposium
| Hi-index | 0.00 |
The non-Markovian Stochastic Petri Net (SPN) models appeared so far in the literature, are based on the assumption that the underlying marking process can be specified by assigning an individual memory policy to each timed transition. The present paper proposes to introduce interlaced, or state dependent, memory policies, where the memory of a transition can be modified by the occurrence of some condition on the net.Adhering to the spirit of the graphical language of the PN, we introduce new primitives in the form of suitable arcs connecting places to transitions, and whose effect is to modify the memory policy of the transition. Through a number of simple examples, we show how the new primitives increase the modeling power of non-Markovian SPN by allowing firing mechanisms which were not possible in the traditional models. Numerical results on the steady state behavior of a dependable processor system with two kinds of interruptions are also presented.