Ja. Carrasco et al., Model of the leaky bucket ATM generic flow control mechanism: a case studyon solving large cyclic models, IEE P-COMM, 148(3), 2001, pp. 188-196
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.