Параллелизм и асинхронность - характерные свойства алгоритмов логического управления взаимодействующими процессами. С разработки таких алгоритмов начинается проектирование разнообразных управляющих устройств в вычислительных машинах, станочных линиях, робототехнических комплексах. В книге рассматриваются задачи описания алгоритмов логического управления, их верификации и технической реализации. Они решаются на основе оригинальной формальной модели, сочетающей достоинства аппарата сетей Петри, обеспечивающего проверку корректности алгоритмов, и теории дискретных автоматов, привлекаемой при логическом проектировании управляющих устройств. Книга предназначена для студентов, аспирантов и специалистов в области логического проектирования, теории параллельных процессов, управления в технических системах.
Parallelizm i asinkhronnost - kharakternye svojstva algoritmov logicheskogo upravlenija vzaimodejstvujuschimi protsessami. S razrabotki takikh algoritmov nachinaetsja proektirovanie raznoobraznykh upravljajuschikh ustrojstv v vychislitelnykh mashinakh, stanochnykh linijakh, robototekhnicheskikh kompleksakh. V knige rassmatrivajutsja zadachi opisanija algoritmov logicheskogo upravlenija, ikh verifikatsii i tekhnicheskoj realizatsii. Oni reshajutsja na osnove originalnoj formalnoj modeli, sochetajuschej dostoinstva apparata setej Petri, obespechivajuschego proverku korrektnosti algoritmov, i teorii diskretnykh avtomatov, privlekaemoj pri logicheskom proektirovanii upravljajuschikh ustrojstv. Kniga prednaznachena dlja studentov, aspirantov i spetsialistov v oblasti logicheskogo proektirovanija, teorii parallelnykh protsessov, upravlenija v tekhnicheskikh sistemakh.
