On the Applicability of Stochastic Petri Nets for Analysis of Multiserver Retrial Systems with Different Vacation Policies
From MaRDI portal
Publication:3540077
DOI10.1007/978-3-540-88387-6_26zbMath1183.68040OpenAlexW1506332239MaRDI QIDQ3540077
Publication date: 20 November 2008
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-88387-6_26
generalized stochastic Petri netsfinite-sourcemodeling and performance measuresmultiserver retrial systemsvacation policies
Network design and communication in computer systems (68M10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Uses Software
Cites Work
- Unnamed Item
- Standard and retrial queueing systems: A comparative analysis
- Analytic and numerical aspects of batch service queues with single vacation
- A survey of retrial queues
- A survey on retrial queues
- A single-server retrial queue with server vacations and a finite number of input sources
- A finite source retrial queue
- Analysis of multi-server queues with station and server vacations
- Analysis of an \(M/G/1\) queue with constant repeated attempts and server vacations
- Analysis of queueing systems with synchronous single vacation for some servers
- The \(M/G/1\) retrial queue with Bernoulli schedules and general retrial times
- Analysis of a single-server retrial queue with FCFS orbit and Bernoulli vacation
- Stochastic Petri net analysis of finite-population vacation queueing systems
- A two phase batch arrival retrial queueing system with Bernoulli vacation schedule
- GSPN analysis of retrial systems with servers breakdowns and repairs
- Vacation queueing models. Theory and applications
- AnMX/G/1 retrial queue with exhaustive vacations
- GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets
- Quantifying the performance effects of idle time utilization in multiserver systems
