Markov Regenerative Stochastic Petri Nets with Age Type General Transitions

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

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

Preemptive repeat identical transitions in Markov regenerative stochastic Petri nets

PNPM '95 Proceedings of the Sixth 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

A Modeling Technique for the Performance Analysis of Web Searching Applications

IEEE Transactions on Knowledge and Data Engineering

Introduction to generalized stochastic Petri nets

SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation

Mobile-to-Grid middleware: bridging the gap between mobile and grid environments

EGC'05 Proceedings of the 2005 European conference on Advances in Grid Computing

Dynamic software rejuvenation policies in a transaction-based system under Markovian arrival processes

Performance Evaluation