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

The authors describe and solve a Markov model of the leaky bucket ATM genetic flow control mechanism. The model has a space cardinality which grows quickly with its parameters and is challenging to solve. Exploiting the cyclic nature of the model, the authors develop a methodology which allows them to efficiently solve instances of the model with 3905134 states and 53869532 transitions using 29.8 Mbyte of memory and 222 Mbyte of disc storage. The 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