/
auzubarev
/
time-process
Обзор
Документация
Войти
/
auzubarev
/
time-process
Код
Запросы
0
Задачи
Вики
Пакеты
0
Релизы
0
CI/CD
Аналитика
Безопасность
master
src/view.py
32 строки
1 KB
Alex Zubarev
first_commit
15 фев 2026, 12:18
15 фев 2026, 12:18
3390c17
Код
Авторство
О чём код?
from graphviz import Digraph def visualize_petri_net(net, filename="petri_net"): dot = Digraph(format='png') dot.attr(rankdir='LR') for p in net["places"]: label = p if net["initial_marking"].get(p, 0) > 0: label += f"\n({net['initial_marking'][p]})" dot.node(p, label, shape="circle") for t in net["transitions"]: dot.node(t, t, shape="box") for t, inputs in net["in_arcs"].items(): for p in inputs: dot.edge(p, t) for t, outputs in net["out_arcs"].items(): for p in outputs: dot.edge(t, p) dot.render("view/"+filename) def visualize_process(pi, filename="process"): dot = Digraph(format='png') dot.attr(rankdir='LR') for b in pi["B"]: label = f"{pi['phi'][b]}" dot.node(str(b), label, shape="circle") for e in pi["E"]: label = f"{pi['phi'][e]}\nτ={pi['tau'][e]}" dot.node(str(e), label, shape="box", style="filled", fillcolor="lightblue") for src, target in pi["G"]: dot.edge(str(src), str(target)) dot.render("view/"+filename)