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