Server Consolidation Using Coloured Petri Nets and CPN Tools

In this paper, we present a new approach to server consolidation in heterogeneous clusters using Coloured Petri Nets (CPNs). We explore the use of CPN Tools in analyzing the state spaces of the CPNs. Our approach is shown to reduce the number of servers in the consolidated environment while minimizing the migration overhead. Several techniques are suggested to efficiently analyze the resulting state spaces.