ISSN 2305-5626. Вестник МГТУ им. Н.Э. Баумана: электронное издание. 2013
6
Рис. 2. Алгоритм построения дерева достижимости
Согласно определению, терминальной вершиной дерева дости-
жимости является маркировка, в которой отсутствуют разрешенные
переходы, поэтому при поиске тупиков просматриваются все тер-
минальные вершины дерева. Подразумевается, что тупиковое со-
стояние сети не является таковым с точки зрения предметной обла-
сти, если в каждой простой позиции сети находится ровно 0 фишек,
и только конечные позиции сети могут иметь неотрицательное чис-
ло фишек. Состояния, не удовлетворяющие этому условию, счита-
ются тупиковыми. Таким образом, маркировка сети (0,0,1) будет
считаться тупиковой только в том случае, если позиция
р
2 не будет
помечена как конечная (рис. 3).
1,2,3,4,5 7,8,9,10