fIgure 5.3 A partial history of the

fIgure 5.3 A partial history of the system in Figure 5.2 where the edges are labeled with the identifiers of the processes causing that transition: it shows an infinite behavior ABCDEFGHIJKLA. Note that X, Y are terminal states and are reachable, but there is no guarantee that the adversary will choose the transitions leading to those states.

Результаты (русский) 1:

Рисунок 5.3 частичная истории системы на рисунке 5.2, где помечены края с идентификаторами процессов, вызывающих этот переход: он показывает бесконечное поведение ABCDEFGHIJKLA. Обратите внимание, что X, Y являются терминала и доступны, но нет никакой гарантии, что противник будет выбирать переходы, ведущие к этим государствам.

Результаты (русский) 2:

Рисунок 5.3 Частичное историю системы на рисунке 5.2, где края помечены идентификаторы процессов, вызывающих этот переход: он показывает бесконечное поведение ABCDEFGHIJKLA. Заметим, что X, Y являются терминальные состояния и достижимы, но нет никакой гарантии, что противник будет выбирать переходы, ведущие к этим государствам.

Результаты (русский) 3:

показатель 5.3 частичное истории этой системы в рисунок 5.2, где видны как с указания на процессы, вызывая, что переходный период: она показывает бесконечное поведение abcdefghijkla.следует отметить, что X, Y - терминал государства и доступны, но нет никакой гарантии, что противник будет выбирать переходов, ведущих к этим государствам.