Для заданного графа сети Петри записать аналитическое определение сети Петри

Приведем аналитическое представление сети Петри, в которой имеются позиции P = {p1, p2, p3, p4} и переходы T = {t1, t2, t3}. Начальная маркировка сети обозначается вектором μ0 [μ1,μ2,μ3,μ4], μ0 [1 0 1 0].
При аналитическом способе задания сеть Петри задается как C = (P,T,F,H,μ0), где, кроме множеств позиций Р и переходов Т, задаются входная F и выходная Н функции. Через F(tj) обозначается множество входных позиций, а через H(tj) – множество выходных позиций перехода tj; μ0 – начальная маркировка сети.
Отсюда получим:
F(t1) = {p1, p2, p3},H(t1) = {p1 },
F(t2) = {p4},H(t2) = {p2, p3},
F(t3) = {p3},H(t3) = {p4 },
μ0 [1 0 1 0 ].
Построим граф разметок для данной сети.
Переход t1 не является разрешенным, т.к . представляет тупик. Начнем строить граф достижимости с позиции p3. Переход t3 дает маркировку (1,0,0,1).
224282018640(1, 0, 1, 0)
(1, 0, 1, 0)

235936520566 t3
t3
268321572953
222601552024(1, 0, 0, 1)
(1, 0, 0, 1)
Переход t2 дает две маркировки: (1,1,1,0), которая не может быть разрешена, и (1,0,1,0). При этом образуется бесконечное дерево переходов.
Покрывающее дерево будет иметь вид:
Символ ω означает «бесконечность», т.к. при переходах t1 и t2 происходит накопление фишек.
2