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