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

ПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ
38
некоторое количество меток, равное кратности соответствующих дуг. Если одно-
временно возбуждено несколько переходов, сработать может любой из них или лю-
бая их комбинация. Например, пусть в сети на рис 4.4 сработают переходы и .
Получим сеть, представленную на рис. 4.5.
Рис. 4.5. Новая сеть с маркировкой
Композициональный подход к построению сетей Петри предполагает возмож-
ность построения более сложных сетей из менее сложных составляющих. Для этого
вводятся точки доступа, которые позволяют объединять простые сети путём син-
хронизации событий и состояний (переходов и мест).
Определение. Определение T-точки доступа. Пусть задана сеть и
некоторый алфавит . Т-точкой доступа называется набор , где
• - имя (идентификатор) t-точки доступа;
• - некоторый алфавит;
• - пометочная функция, где . Запись
обозначает множество всех конечных и непустых мультимножеств,
определённых на множестве .
Определение: Определение S-точки доступа. Пусть задана сеть .
Тогда s-точкой доступа сети называется набор , где
• - имя (идентификатор) s-точки доступа;
• - множество такое, что .
Введённые понятия точек доступа предоставляют возможность ввести две
основные операции над сетями Петри для построения композициональных сетей:
1 t 2 t
( )
FTS N , , =
Alph σ α , Alph , tid =
tid
Alph
{ }τ μ σ Alph T → Alph Alph µ ∉  τ Alph µ
Alph
( )
FTS N , , =
N ρ =ξ , sid
sid
S µ⊆ρ MM MM MM′ =⇒′ ≤ ∈′ ∀ ρ ,