The high level Detector Control System (DCS) of the CMS experiment is modeled using Finite State Machines (FSM), which cover the control application behaviors of all the sub-detectors and support services. The Joint Controls Project (JCOP) at CERN has chosen the SMI++ framework for this purpose. Based on this framework, the functionality and behavior of the equipments and subsystems of the experiment is represented as a collection of objects in a hierarchical structure where commands flow down and states flow upwards. The FSM tree of the whole CMS experiment consists of tens of thousands of nodes. Due to the enormous size and complexity of the system, a high level of homogeneity and consistency is desired. The analysis of the current FSM hierarchy of the CMS experiment and the design of a mechanism for the optimization of the FSM logic and structure will be presented. The CMS FSM system will be discussed in view of most recent research on modeling and analysis of such systems. An algorithm for analyzing and remedying complex FSM system will be presented.