Параллельные алгоритмы логического управления

Паралелізм і асинхронність - характерні властивості алгоритмів логічного управління взаємодіючими процесами. З розробки таких алгоритмів починається проектування різноманітних керуючих пристроїв в обчислювальних машинах, верстатних лініях, робототехнічних комплексах. У книзі розглядаються завдання опису алгоритмів логічного управління, їх верифікації та технічної реалізації. Вони вирішуються на основі оригінальної формальної моделі, що поєднує переваги апарату мереж Петрі, що забезпечує перевірку коректності алгоритмів, і теорії дискретних автоматів, що залучається при логічному проектуванні керуючих пристроїв. Книга призначена для студентів, аспірантів і фахівців в області логічного проектування, теорії паралельних процесів, управління в технічних системах.