Logical-static planning complex technical objects operations and functioning modes

A definition of operating mode of complex technical object (CTO) concept is introduced. A logical-static interpretation of CTO operating modes is given. A formal grammar of transformations of logical functions for compatibility (incompatibility) of operations in constraints of a static planning model is presented. Transformation rules are introduced for specific cases. An algorithm for formalizing logical multi-mode structures of CTO functioning in static planning terms of operation flows and modes is developed. Results of computational experiments are presented.