ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012 177
надлежащих множеству
Th
(
P
).
Эти правила записываются на каком-
либо
языке описания поведения
процесса. Воспользуемся языком
регулярных выражений [10].
Если нить
a
*
=
<a
0
a
1
a
2
…
a
m
–2
a
m
> конечна, то ее описание на языке
регулярных выражений определяется как
Р
′
0
.
a
1
.
a
2
…
a
m
–
2.
a
m
.0,
где
P
′
—
имя такого процесса, при котором множеству
Th
(
P
')
принадле-
жит нить
a
*
и все ее начала; — знак, обозначающий равенство по
определению; все действия разделены точками; 0 — пустой процесс,
Th
(0)
=
∅
.
Наличие пустого процесса после действия
a
m
означает ко-
нец нити
a
*
(
после действия
a
m
не следует никаких действий). Если
процесс слишком длинный, например,
Р
′
1
1
1
1 2
1 2
1 1 2
. ....
. . ....
.... . . ....
.0,
а
b
t
а а а b b b
t t t
t
т
m
m
а а а а а а а a а а
то он может быть представлен как кортеж процессов
Р
′
P
а
Р
b
…
Р
t
,
где
Р
а
.
....
.
1
2 1
а
т
а а
а
а аа
;
Р
b
.
....
.
1
2 1
b
m
b b
b
а аа
; …;
Р
t
0.
....
.
1
2 1
t
m
t
t
t
а аа
.
Если процессы
1
0 1 2
2
1 2
. . ....
. .
....
.0.;
a
a
a
a
a
m m
m
P a a a a a a a a
−
=
1
0 1 2
2
1 2
. . ....
. .
....
.0.
b
b
b
b
b
m m
m
P a a a a a a a a
−
=
; …;
1
0 1 2
2
1 2
. . ....
. .
....
.0.
t
t
t
t
t
m m
m
P a a a a a a a a
−
=
имеют общее начало
Р
′
0
.
a
1
.
a
2
…
a
m
–
2.
a
m
.,
то они могут быть пред-
ставлены процессным выражением
P
′′
P
′
(
Р
а
|
Р
b
…
|
Р
t
),
1
1
1
1 2
1 2
1 2
. ....
.0.;
. ....
.0.; ...;
. ....
.0.
a
b
t
a
b
t
a a
a
b b
b
t
t
t
m
m
m
P a a a
P a a a
P a a a
Если процесс
P
′′′
зацикливается, то для его описания используем ре-
гулярное выражение
{ }.
P
′′′
Если зацикливание происходит не с
начала, а после некоторой нити
a
*
,
то для описания применяется ре-
гулярное выражение
''
*
.{ }.
P a P
= ′′′
Если
(
)
a b
t
P P P P
… ′′′
,
то
(
)
{ } { } { } { } .
a
b
t
P P P P
=
…
′′′
Если
(
)
,
a b
t
P P P P P
=
…
′′′
′
то { }
P
= ′′′