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