“…In most solutions at hoc experimental systems are constructed and analysed to prove the benefits of the improvement proposed [14,15,16,10,19,20,11,12]. Research reported in this paper and our previous works [3,4,25,5,6,7] aim at systematisation of modern Internet system development techniques into one consistent methodology. Inspired by research described in [32,2,33] we decided to propose both methodology and software tool based on application of Hierarchical Timed Coloured Petri nets and Queueing Systems, and providing systematic modelling and performance analysis of Internet systems.…”