Параллелизм и асинхронность - характерные свойства алгоритмов логического управления взаимодействующими процессами. С разработки таких алгоритмов начинается проектирование разнообразных управляющих устройств в вычислительных машинах, станочных линиях, робототехнических комплексах. В книге рассматриваются задачи описания алгоритмов логического управления, их верификации и технической реализации. Они решаются на основе оригинальной формальной модели, сочетающей достоинства аппарата сетей Петри, обеспечивающего проверку корректности алгоритмов, и теории дискретных автоматов, привлекаемой при логическом проектировании управляющих устройств.
Книга предназначена для студентов, аспирантов и специалистов в области логического проектирования, теории параллельных процессов, управления в технических системах.
Издание: обложка.
Параметры: формат: 60x90/16, 200 стр.
Уважаемые клиенты приносим свои извинения, но с 15 июля по 10 августа весь коллектив нашего магазина будет в отпуске. Заказы можно будет оформлять, но они будут выполнены после 10 августа. Надеемся на ваше понимание.
