Моделирование работы узла grid-системы на основе сетей Петри

Abstract

Обчислювальний вузол Grid-системи досліджується із застосуванням апарату мереж Петрі. Побудовано модель роботи вузла та досліджено її структурні властивості, зокрема показано, що побудована мережа є обмеженою, живою та не містить недосяжних позицій. Для побудованої моделі проведено аналіз існування властивостей взаємного виключення та рівноправ’я.

Processing node of the Grid system was investigated using Petri network approach. The model of the working node was constructed and its structural properties were investigated. In particular, it was shown, that constructed network is bounded, living and hasn’t the inaccessible places. For constructed model the feasibility analysis of the mutex and fairness properties was also performed.