In: CPN, Aarhus, Denmark, 10-12 June 1998 / Jensen, K.: Daimi PB-532: Workshop on Practical Use of Coloured Petri Nets and Design, pages 233-252. Aarhus University, June 1998.
Abstract: A request-level timed stochastic CPN model of a leaf Internet object cache is proposed in this paper. The leaf cache is modelled as a discrete time discrete event dynamic system together with its adjustable input-, measurable output, disturbance and state variables. The CPN model has been verified and validated against real measured data. The developed model will be used for model-based optimal selection of the most influental tuning parameters modelled as input variables on the performance of the cache.