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

 Автореферати дисертацій 

---

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

• Кравець Надія Степанівна (педагогічні науки)
• Кравець Наталя Сергіївна (фізико-математичні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"