Для заданного графа сети Петри записать аналитическое определение сети Петри. Бесплатный доступ к контрольной работе

Реферат.Справочник
Контрольные работы по программированию
Для заданного графа сети Петри записать аналитическое определение сети Петри

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

Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥

Условие

Для заданного графа сети Петри: записать аналитическое определение сети Петри; построить граф разметок; построить покрывающее дерево. Провести анализ свойств заданной сети Петри: оценить ограниченность и безопасность каждого условия сети; оценить живость и устойчивость каждого перехода сети; на основе проведенного анализа сделать вывод о свойствах сети в целом.

Нужно полное решение этой работы?

Решение

Потяни, чтобы посмотреть

Приведем аналитическое представление сети Петри, в которой имеются позиции 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

50% задачи недоступно для прочтения

Переходи в Кампус, регистрируйся и получай полное решение

Получить задачу