Применение алгебры событий и состояний к синтезу схем шахтной автоматики

Аннотация

Для синтеза и анализа структуры многотактных схем значительный интерес представляет алгебра событий и состояний, или обобщенная Булева алгебра, включающая время. Синтезируем с ее помощью схему управления разветвленными конвейерными линиями. Условия, которым должна удовле­творять синтезированная схема, определяются из анализа серийно выпуска­емых схем.