В статье предлагается совокупность методов и средств синтеза моделей систем логического управления и их моделирования в приложении «Гиперсистема». Для композиционного синтеза модели, вычислений по блок-схемам алгоритмов и логическим формулам предложены новые оригинальные решения. В комплексную композиционную модель включены средства формирования и обработки импульсных сигналов, а также сигналов, генерируемых программными таймерами.