Рис. 1. Граф переходов процесса
P
Процессом
P
называется множе-
ство нитей
S
, которые он может вы-
полнять. Поведением процесса
P
на-
зывается порядок выполнения множе-
ства этих нитей.
Популярным языком представле-
ния процессных выражений является
язык графов переходов. Для построе-
ния графа переходов процесса счита-
ется, что после каждого его восприя-
тия, в том числе пустого, процесс осу-
ществляет внутреннюю реакцию или,
как говорят, переходит во внутреннее состояние ожидания следующе-
го восприятия. Находясь в этом внутреннем состоянии, процесс может
порождать внешнюю реакцию, в том числе пустую. В графе переходов
каждое состояние процесса изображается кружочком, внутрь которого
помещается символ этого состояния. Каждому восприятию соответ-
ствует стрелка, соединяющая состояния этого перехода. Начальное
состояние выделяется двойным кружком. На рис. 1 показан граф пе-
реходов некоторого процесса
P
.
На рис. 2 приведен пример процесса, заданного процессными вы-
ражениями
P
,
?
e
!
b
1
!
a
1
(
P
1
|
P
2
)
,
P
1
,
?
a
1
b
2
!
a
2
(?
a
1
b
3
!
a
3
|
?
a
2
b
3
!
a
3
) (?
a
1
b
4
!
a
3
|
?
a
2
b
2
!
a
2
)
,
P
2
,
?
a
2
b
4
!
a
3
(?
a
1
b
1
!
a
1
|
?
a
2
b
1
!
a
1
)
.
Граф переходов процесса позволяет компактно описывать неболь-
шое множество нитей, в том числе бесконечных. В этих условиях
естественным кажется описывать процесс непосредственно его гра-
фом переходов. Однако при большой размерности графа такое опи-
сание становится громоздким и ненаглядным. Альтернативой этому
Рис. 2. Граф переходов процесса
P
(
S
)
62 ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012. № 4
