• DocumentCode
    2643369
  • Title

    Server consolidation using Coloured Petri Nets and CPN tools

  • Author

    Al-Azzoni, Issam

  • Author_Institution
    Dept. of Software Eng., King Saud Univ., Riyadh, Saudi Arabia
  • fYear
    2015
  • fDate
    7-9 April 2015
  • Firstpage
    32
  • Lastpage
    37
  • Abstract
    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.
  • Keywords
    Petri nets; state-space methods; virtual machines; CPN tool; coloured Petri nets; consolidated environment; heterogeneous cluster; migration overhead; server consolidation; state space; Color; Communication systems; Compounds; Memory management; Reactive power; Servers; Virtual machining; Coloured Petri Nets; heterogeneous clusters; server consolidation;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Information and Communication Systems (ICICS), 2015 6th International Conference on
  • Conference_Location
    Amman
  • Type

    conf

  • DOI
    10.1109/IACS.2015.7103197
  • Filename
    7103197