Шелестов, А.Ю.
(Системні дослідження та інформаційні технології, 2009)
Исследуется узел Grid-системы с применением аппарата сетей Петри. Построена модель работы узла и рассмотрены ее структурные свойства. Показано, что полученная сеть является ограниченной, живой и не содержит недостижимых ...