Базовые операции над графом ресурсов и процессов и правила преобразования

Над графом Гt можно сделать следующие базовые операции:

f1 – добавление новой вершины в графе Гt. Например, при формировании процесса Pjпорождаемого Pi.

f2 –установление связи (добавление ребра) между вершинами σ и графом Гt. например добавление ребра (Рj, Pi) после выполнения операции f1 над процессами Piи Pj.

f3- удаление элемента из графа Гt. Например при уничтожении процесса Рi.

f4 – удаление ребер между вершиной и графом Гt. Например, после применения операций f3 в случае уничтожения Рiуничтожается весь граф и все связи этого графа с графом Гt.

f5 – изменение состояния элемента , например при переводе процесса Рiиз активного состояния в состояние ожидания.

f6 – изменение элемента , например при изменении имени процесса.