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