Описания объединений

По умолчанию объединение разрешает выполнение выходного потока, когда все входные потоки достигли объединения. (Или, говоря более формальным языком, оно порождает маркер выходного потока, когда приходят маркеры всех входных потоков.) В некоторых случаях, в ча­стности, когда есть поток с несколькими маркерами, полезно иметь более сложное правило.

Описание объединения (join specification) - это логическое выражение, присоединенное к объединению. Каждый раз, когда в объединение прибывает маркер, вычисляется описание объединения, и если его зна­чение истинное, то порождается маркер. Поэтому на рис. 11.12, неза­висимо от того, выбираю ли я напиток (Select Drink) или кидаю монет­ку (Insert Coin), автомат оценивает определение объединения. Авто­мат утоляет мою жажду, только если я кинул достаточное количество денег. Если, как в данном случае, вы хотите показать, что вы приняли маркер в каждом входном потоке, то необходимо именовать потоки и включить их в описание объединения