˙
b
(
s
)
j
1
,
˙
b
(
s
)
j
2
, . . .
. Перейти, к п. “и”. Если процесс
b
(
s
)
j
не был разбит на
подпроцессы, то также перейти к п. “и”;
и) принять
j
=
j
+ 1
. Если
j
≤
r
, то перейти к п. “д”. В противном
случае перейти к п. “к”;
к) если суммарное число процессов в множествах
A
(
s
)
1
, . . . , A
(
s
)
r
равно
r
, то перейти к п. “л”. В противном случае перенумеровать
все подпроцессы множеств
A
(
s
)
1
, . . . , A
(
s
)
r
числами
1
,
2
, . . . , r
1
, принять
r
=
r
1
, присвоить им обозначения
˙
b
(
s
)
j
, где
s
=
s
+ 1
,
j
= 1
,
2
, . . .
,
r
=
r
1
, и перейти к п. “г”;
л) конец. Процессные выражения
˙
B
(
s
)
1
, . . . ,
˙
B
(
s
)
r
,
!
a
(
s
)
1
, . . . ,
!
a
(
s
)
p
явля-
ются композицией процессов
P
(
S
)
и
P
(
S
0
)
.
Пример 4.
Процесс
P
(
S
)
задан каноническими процессными вы-
ражениями:
b
(
S
)
1
=
b
(
S
)
1
a
1
b
(
S
)
2
?
a
2
b
(
S
)
3
?
a
2
,
b
(
S
)
2
=
b
(
S
)
3
?
a
1
b
(
S
)
1
?
a
2
b
(
S
)
2
?
a
3
b
(
S
)
3
?
a
3
,
b
(
S
)
3
=
b
(
S
)
2
?
a
1
,
!
a
1
=
b
(
S
)
2
,
!
a
2
=
b
(
S
)
1
b
(
S
)
3
.
Процесс
P
(
S
0
)
задан следующими каноническими процессными
выражениями:
b
(
S
0
)
1
=
b
(
S
0
)
3
?
a
2
b
(
S
0
)
1
?
a
1
b
(
S
0
)
1
?
a
3
,
b
(
S
0
)
2
=
b
(
S
0
)
1
?
a
2
b
(
S
0
)
2
?
a
1
,
b
(
S
0
)
3
=
b
(
S
0
)
2
?
a
3
b
(
S
0
)
3
?
a
1
b
(
S
0
)
3
?
a
3
,
!
a
1
=
b
(
S
0
)
1
b
(
S
0
)
3
,
!
a
2
=
b
(
S
0
)
2
.
Получим
!
a
1
=
b
(
S
)
2
b
(
S
0
)
1
b
(
S
0
)
3
,
!
a
2
=
b
(
S
)
1
b
(
S
)
3
b
(
S
0
)
2
,
˙
b
(0)
1
=
b
(
S
)
2
b
(
S
0
)
1
b
(
S
0
)
3
,
˙
b
(0)
2
=
b
(
S
)
1
b
(
S
)
3
b
(
S
0
)
2
.
76 ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012. № 4
