Об одной логической модели распределенной обработки информации на базе сетей Петри с модифицированной динамикой

Abstract

У статті розглянуто підхід до моделювання механізмів доступу до інформаційних ресурсів у розподіленій системі обробки інформації. Запропонованих підхід базується на модифікації апарату мереж Петрі та засобів його аналізу (дерева досяжності). Використання розроблених механізмів аналізу розподілених систем дозволить виявляти конфліктні ситуації при використанні ін формаційних ресурсів, а також вказувати на послідовність станів системи, що приводять до таких ситуацій.