On the Applicability of Stochastic Petri Nets for Analysis of Multiserver Retrial Systems with Different Vacation Policies

Authors:
Nawel Gharbi
Affiliations:
Department of Computer Science, University of Sciences and Technology USTHB, Algiers, Algeria 16111
Venue:
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Year:
2008

Citing 12
Cited 0

A survey on retrial queues

Queueing Systems: Theory and Applications
A survey of retrial queues

Queueing Systems: Theory and Applications - Special issue of queueing systems, theory and applications
Stochastic petri net analysis of finite-population vacation queueing systems

Queueing Systems: Theory and Applications
GreatSPN 1.7: graphical editor and analyzer for timed and stochastic Petri nets

Performance Evaluation - Special issue: performance modeling tools
Analysis of an M/G/1 queue with constant repeated attempts and server vacations

Computers and Operations Research
Traffic modeling and analysis of hybrid fiber-coax systems

Computer Networks and ISDN Systems
Modelling with Generalized Stochastic Petri Nets

Modelling with Generalized Stochastic Petri Nets
Analysis on queueing systems with synchronous vacations of partial servers

Performance Evaluation
Analysis of Queueing Systems with Synchronous Single Vacation for Some Servers

Queueing Systems: Theory and Applications
Analysis of multi-server queue with a single vacation (e, d)-policy

Performance Evaluation
Analytic and numerical aspects of batch service queues with single vacation

Computers and Operations Research
Vacation Queueing Models: Theory and Applications (International Series in Operations Research & Management Science)

Vacation Queueing Models: Theory and Applications (International Series in Operations Research & Management Science)

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper deals with retrial systems where servers are subject to random vacations. So far, these systems were analyzed only by queueing theory and almost works assumed that the service station consists of one server and the customers source is infinite. In this paper, we give a detailed qualitative and performance analysis of finite-source multiserver retrial systems with multiple and single vacations of servers or all station, using Generalized Stochastic Petri nets. We show how this high level stochastic model allows us to cope with the complexity of such systems involving the simultaneous presence of retrials and vacations, and how stationary performance indices can be expressed as a function of Petri net elements.