Діагностування Обчислювальних Системах із Загальною Пам'яттю

Анотація

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