The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets
IEEE Transactions on Software Engineering
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
The Completion Time of Programs on Processors Subject to Failure and Repair
IEEE Transactions on Computers
A Characterization of the Stochastic Process Underlying a Stochastic Petri Net
IEEE Transactions on Software Engineering
Computational Restrictions for SPN with Generally Distributed Transition Times
EDCC-1 Proceedings of the First European Dependable Computing Conference on Dependable Computing
Markov Regenerative Stochastic Petri Nets with Age Type General Transitions
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
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
A Modeling Framework to Implement Preemption Policies in Non-Markovian SPNs
IEEE Transactions on Software Engineering
Lectures on formal methods and performance analysis
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
Analysis and Evaluation of Non-Markovian Stochastic Petri Nets
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
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
Simulation versus analytic-numeric methods: illustrative examples
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
| Hi-index | 0.00 |
Recent literature on Markov regenerative stochastic Petri nets (MRSPN) assumes that the random firing time associated to each transition is resampled each time the transition fires or is disabled by the firing of a competitive transition. This modeling assumption does not cover the case of preemption mechanisms of repeat identical nature (PRI). In this policy, an interrupted job must be repeated with an identical requirement so that its associated random variable must not be resampled. The paper investigates the implication of a PRI policy into a MRSPN and describes an analytical procedure for the derivation of expressions for the transient probabilities.