The Simulation of DARC (Dynamic Architecture for Reconfiguration of Web Servers Clusters) in Petri Nets

Allocating resources in a web server cluster is usually performed nowadays by a cluster administrator. However, due to the dynamics of the Internet as far as the use of resources is concerned, such a task may be considered critical and inefficient if accomplished manually. This paper presents an architecture that performs an automatic dynamic reconfiguration using a multi agent system. The architecture, a formal specification in Coloured Petri nets and experimental results of the implementation of the solution are presented.