| Аннотацiя: |
Дисертація присвячена розробці і дослідженню моделей, методів та інформаційної технології моделювання і аналізу дискретно-безперервних автоматизованих систем управління на базі мереж Петрі і дискретно-неперервних мереж для підвищення якості моделювання та скорочення часу аналізу властивості досяжності. Розроблено метод перетворення сигнального графа в модель, що представлена мережею Петрі. Розроблено метод та інформаційну технологію аналізу досяжності, які відрізняються використанням сигнального графа і виконанням редукції-декомпозиції мереж. Отримали подальший розвиток метод та інформаційна технологія моделювання дискретно-неперервних об`єктів. |
