імітаційне моделювання, имитационное моделирование ; алгебра предикатів, алгебра предикатов ; мережі Петрі кольорові, сети Петри цветные, coloured Petri nets ; системи штучного інтелекту, СШІ, системы искусственного интеллекта, СИИ

Дисертація присвячена питанням розробки математичних моделей, методів та інструментальних засобів для формалізації опису і моделювання багатомодульних систем інформаційного обслуговування з розподіленим управлінням за допомогою алгебр предикатних операцій, сіток Петрі та технологій штучного інтелекту. У роботі запропоновано використовувати апарат фундаментальної алгебри предикатних операцій для опису структури і функціонування ординарної сітки Петрі та розфарбованої сітки Петрі. Розроблено метод визначення множин тупікових розміток для розфарбованої сітки Петрі за допомогою апарата фундаментальної алгебри предикатних операцій. Розроблено систему інтерактивної імітації розфарбованої сітки Петрі та аналізу її властивостей з використанням інтелектуальної компоненти.

• УДК // МАТЕМАТИЧНА КІБЕРНЕТИКА
• УДК // Математична логіка