Обгрунтовано можливості використання методів верхньої та нижньої апроксимації для пошуку програмних інваріантів над кільцями поліномів. Для них розв'язано задачі про співвідношення та перетин множин інваріантів і стабілізацію з використанням базисів Грьобнера. Покращено TSS-метод (Total suspended solids) побудови мінімальної генеруючої множини розв'язків системи лінійних діофантових рівнянь в множині натуральних чисел. Запропоновано моделювання синхронного добутку транзиційних систем і досліджено їх властивості засобами мереж Петрі. Розроблено технологічну лінію дослідження властивостей мереж Петрі на основі удосконаленого TSS-методу.

• Максимець Оксана Миколаївна (філологічні науки)
• Максимець Олександр Миколайович (фізико-математичні науки)

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