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 generic 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 3 905 134 states and 53 869 532 transitions using 29.8/100 Mbyte of memory and 222 Mbyte of disc storage.