Стр. 41 - Параллельное программирование

ПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ
39
• операция слияния переходов - позволяет порождать и описывать синхрони-
зацию параллельных процессов (tmerge);
• операция слияния мест - позволяет применять к сетям операции последова-
тельной композиции, выбора, итерации и др. (smerge).
• Приведённые операции имеют следующий смысл:
• При слиянии мест определяется набор состояний в сети, которые иденти-
фицируются, как состояние сети, определённое именем s-точки доступа.
Слияние различных сетей производится так, что если в одной сети достиг-
нуто описанное состояние, то в другой сети это состояние также получает-
ся достигнутым.
• При слиянии переходов определяется алфавит событий, видимых из t-точки
доступа. Каждый переход в сети помечается либо невидимым событием,
либо комбинацией событий из алфавита точки доступа. Слияние по пере-
ходам производится так, что если при срабатывании одной сети возникает
некоторая комбинация событий, то эта же комбинация событий происходит
во второй сети.
Рис. 4.6. Пример операции слияния переходов