ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012
163
Поведение процесса
P
–
правила выполнения нитей, принадле-
жащих множеству
Th
(
P
).
Эти правила для множества нитей, опи-
санных на языке регулярных выражений, состоят в выполнении в
каждый момент времени только одного действия, начиная с пустого
действия, в направлении слева направо, или иначе, не используя по-
нятия времени, действия в последовательностном процессе могут
выполняться только поочередно слева направо в порядке записи их
в нитях. Параллельно они выполняться не могут. Все подпроцессы
последовательностного процесса используют один и тот же алфавит
восприятий и реакций.
Последовательное выполнение действий.
Если есть несколько
последовательностных процессов
1 2
, , ...,
t
P P P
,
то последовательное
выполнение действий этими процессами определяется следующими
процессными выражениями:
1
2
1
1
1
1 1
2
2
1 2
1
2
1
1
1
(
...
);
!
;
? !
;
...
? !
;
? .
t
t
t
t
t
t
t
P P P P P
P a P
P a a P
P a a P
P a P
−
−
−
=
=
=
=
&
& &
Первое процессное выражение задает процесс
,
P
состоящий из
параллельно выполняемых процессов
1 2
, , ...,
t
P P P
,
первый из кото-
рых имеет внешнюю реакцию
1
! ,
a
одновременно являющуюся вос-
приятием
1
?
a
процесса
2
,
P
который в свою очередь имеет внешнюю
реакцию
2
!
a
одновременно являющуюся восприятием
2
?
a
процесса
2
P
и т. д. до процесса
.
t
P
Таким образом, не смотря на то, что про-
цессы
1 2
, , ...,
t
P P P
являются параллельно выполняемыми, поведение
каждого из них (кроме первого процесса) состоит в последовательной
обработке реакций предыдущего процесса.
Разветвление выполнения действия.
Если есть несколько по-
следовательностных процессов
'
1 2
, ,
, ...,
,
t
P P P P
то разветвление
выполнения действия, являющегося реакцией процесса
'
P
на про-
цессы
1 2
, , ...,
t
P P P
,
записывается в виде следующих процессных
выражений: