Retrial Queues in the Performance Modeling of Cellular Mobile Networks Using Mosel
This paper investigates a multi-server infinite-source retrial queueing system for the performance modeling of cellular mobile communication networks. The objective is to demonstrate how performance tool MOSEL (MOdeling, Specification and Evaluation Language) can be efficiently used in the modeling of cell based networks. In the authors' analysis the blocked and dropped users are treated separately, that is they redial with different probabilities and different rates, with reducing the state space by maximizing the number of redialing customers with appropriately large values (i.e. when the ignored probability mass can be neglected). The guard channel scheme is included in the model, too.