Steady State Analysis of Markov Regenerative SPN with Age Memory Policy

Authors:
Miklós Telek;Andrea Bobbio;László Jereb;Antonio Puliafito;Kishor S. Trivedi
Affiliations:
-;-;-;-;-
Venue:
MMB '95 Proceedings of the 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation: Quantitative Evaluation of Computing and Communication Systems
Year:
1995

Citing 0
Cited 5

A Modeling Framework to Implement Preemption Policies in Non-Markovian SPNs

IEEE Transactions on Software Engineering
Non-Markovian analysis

Lectures on formal methods and performance analysis
Time Domain Analysis of Non-Markovian Stochastic Petri Nets with PRI Transitions

IEEE Transactions on Software Engineering
Markov Regenerative Stochastic Petri Nets with General Execution Policies: Supplementary Variable Analysis and a Prototype Tool

TOOLS '98 Proceedings of the 10th 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

Quantified Score

Hi-index	0.00

Visualization

Abstract