HTCPNs–Based Modelling and Evaluation of Dynamic Computer Cluster Reconfiguration

Part 2: Modelling and Formal Methods in Software DevelopmentInternational audienceAn extension of HTCPNs-based software tool for Internet systems modelling and evaluation has been proposed in the paper. After the extension the tool provides new possibilities for modelling and analysis of dynamic cluster reconfiguration algorithm. Some implementation details of the algorithm has been presented. The algorithm has been preliminary assessed by simulation