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