Modeling of the Grid System Node Behavior Based on Petri Nets
Андрій Юрійович Шелестов · Journal of Automation and Information Sciences · 2008
Обчислювальний вузол Grid-системи досліджується із застосуванням апарату мереж Петрі. Побудовано модель роботи вузла та досліджено її структурні властивості, зокрема показано, що побудована мережа є обмеженою, живою та не містить недосяжних позицій. Для побудованої моделі проведено аналіз існування властивостей взаємного виключення та рівноправ’я.