Skip to Main Content (Press Enter)

Logo UNITO
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione

UNI-FIND
Logo UNITO

|

UNI-FIND

unito.it
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione
  1. Pubblicazioni

Skipping and Fetching: Insights on Non-conventional Product-Form Solutions

Contributo in Atti di convegno
Data di Pubblicazione:
2023
Abstract:
Complex models of computer systems are often difficult to study with numerical or analytical approaches because of the state space explosion problem. The class of product-form models is one of the most significant tools for overcoming this problem, and in many applications, this tool is the only way to perform a quantitative analysis. In this paper, we study the duality between two different product-form models. The first consists of a queuing network with finite capacity waiting rooms governed by the skip-over policy. The second is a recently presented product-form model in which a job fetching policy is applied. To investigate the relationships between these two models, we first extend the fetching queuing model to allow for finite capacity warehouses and for a Repetitive Service Blocking with Random Destination (RS-RD) discipline. Subsequently, we represent their distinctive features in terms of Generalized Stochastic Petri Nets which precisely specify their semantics in a modular manner and provide clear and intuitive interpretations of these policies. With these two preliminary results, we prove that it is possible to structurally transform a model of one class into one of the other and vice versa, thus choosing the representation that is computationally more convenient to compute the performance measures of interest.
Tipologia CRIS:
04A-Conference paper in volume
Keywords:
Queuing Theory, Product-form Solutions, Generalized Stochastic Petri Nets, Fetching Policy, Blocking Policy, Skip-over policy
Elenco autori:
Olliaro Diletta; Balbo Gianfranco; Marin Andrea; Sereno Matteo
Autori di Ateneo:
SERENO Matteo
Link alla scheda completa:
https://iris.unito.it/handle/2318/1945263
Titolo del libro:
Proceedings of International Conference on Quantitative Evaluation of Systems QEST 2023: Quantitative Evaluation of Systems
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series
  • Dati Generali
  • Aree Di Ricerca

Dati Generali

URL

https://link.springer.com/chapter/10.1007/978-3-031-43835-6_8

Aree Di Ricerca

Settori (4)


PE1_17 - Mathematical aspects of computer science - (2022)

PE7_3 - Simulation engineering and modelling - (2022)

SCIENZE MATEMATICHE, CHIMICHE, FISICHE - Cosmologia e Universo

SCIENZE MATEMATICHE, CHIMICHE, FISICHE - Laboratori innovativi, strumentazione e modellizzazione fisica
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 25.6.1.0