שליחה במסרון: Логическое управление дискретными процессами. Модели, анализ, синтез