Все примеры выше отражали семантику потенциального языка программирования. Если в заначке имеется качественный ЯП, где через систему типов будет контроль заполняемости схем/таблиц (учтены ли все варианты, расставлены ли "assert"-ы, и т.д.), да плюс "автоматизация" -- очень хорошо. Схемы и таблицы можно нагружать любой семантикой, как алгоритмикой для человека, так и "автоматикой" системотехники. Более того, Р-схемы -- это графический функциональный язык программирования и моделирования общего назначения, где схемы и таблицы -- всего лишь функции, и всё является функцией. Отсюда, через функции можно определить модель данных, состояний, переходов, сообщений, взаимодействия, пролог-деклараций и т.д. и т.п. Вводя аргументы ф-ций можем формировать варианты чего-то моделируемого, проводить анализ, выявлять общее и отмечать разницу, редуцировать новые варианты на базе имеющихся, и опять же на результаты смотреть как на функцию.

Насчёт структурных узлов и сетей разного рода. В Р-схемах нет встроенного понятия ни узла, ни сети. Даже на спецвершину нужно смотреть как на функцию, которой в качестве аргументов подаются блоки или дуга-функция:
## Код:
```
(&)------------->+
      |  proc1       |
      |              |
      |              |
      |------------->|
      |  proc2       |
      |              |
      |  NeedProc3   |
      |------------->|
         proc3
```

Что может быть интерпретировано так:
## Код:
```
...
    begin
        spawn( proc1 );
        spawn( proc2 );
        if NeedProc3 then
            spawn( proc3 );
    end;
    ...
```

В системе будут определены модели, развёрнуто отражающие, что такое "spawn" и с чем его кушать. Также будут заданы модели процессов "proc1..3". Если эти процессы взаимодействуют, например, через сообщения, то в системе найдутся модели их взаимодействия, а также модели механизмов для "почтовых ящиков", и т.д.

Или же возможна такая семантика:
## Код:
```
(fork)------------->(join)
         |  proc1       |
         |              |
         |              |
         |------------->|
         |  proc2       |
         |              |
         |              |
         |------------->|
            proc3
```

Транслируем:
## Код:
```
...
    begin
        f' := fork(proc1, proc2, proc3);
        result := join(f');
    end;
    ...
```

Функция может быть любой:
## Код:
```
condition
(пример)------------->(/пример)
          action
```

Спецвершины применимы и в таблицах: в схемтаблице нужно объединить столбцы под общим заголовком (сверху заголовочных предикатов), в алгоритмической -- слева объединить строки-действия.

Поэтому, всё решает смысл, загружаемый в функции, "как яхту назовёшь, так она и поплывёт...".