Методы и модели логического управления дискретными процессами в распределенных вычислительных системах на основе концепции согласования