Text this: Логическое управление дискретными процессами. Модели, анализ, синтез