Обнаружение тупиков в параллельных программах как решение системы линейных диофантовых уравнений
Аннотация
Рассмотрен метод обнаружения дедлоков в распределенных системах на этапе проектирования системы. Система представляется в виде модели посредством формальной спецификации с помощью аппарата сетей Петри.
Список литературы
1. Питерсон Дж. Теория сетей Петри и моделирование систем : пер. с англ. / Дж. Питерсон. – М.: Мир, 1984. – 264 с.
2. Котов В.Е. Сети Петри / В. Е. Котов. – М.: Наука, 1984. – 160 с.
3. Krivoi S. A criteria of Compatibility Systems of Linear Diophantine Constraints / S. Krivoi // Lecture Notes in Comp. Science. – 2002. – №2328. – P.264-271.
Рецензия
Для цитирования:
Бабахьян О.Ф. Обнаружение тупиков в параллельных программах как решение системы линейных диофантовых уравнений. Вестник Донского государственного технического университета . 2011;11(7):1046-1050.
For citation:
Babakhyan O.F. DETECTION OF DEADLOCKS IN PARALLEL PROGRAMS AS SOLUTION OF LINEAR DIOPHANTINE EQUATIONS. Vestnik of Don State Technical University . 2011;11(7):1046-1050. (In Russ.)
Просмотров: 136
Послать статью по эл. почте 