Email Post: Server consolidation for heterogeneous computer clusters using Colored Petri Nets and CPN Tools