Model of the leaky bucket ATM generic flow control mechanism: a case studyon solving large cyclic models

The authors describe and solve a Markov model of the leaky bucket ATM gener ic now control mechanism. The model has a space cardinality which grows qui ckly with its parameters and is challenging to solve. Exploiting the cyclic nature of the model, the authors develop a methodology which allows them t o efficiently solve instances of the model with 3 905 134 states and 53 869 532 transitions using 29.8Mbyte of memory and 222Mbyte of disc storage. Th e CPU utilisation is high (between 70% and 90%). The methodology is new and can be easily extended to any kind of finite cyclic Markov models.