Описание и преобразование управляющих процессов. Сети Петри и их модификация

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

Использование дуг разных типов в сети Петри.
Существуют:
Простые дуги:
1.1. активизирующая;
1.2. сдерживающая;
1.3. входная;
1.4. выходная;
Составные дуги:
2.1. активизирующая входная;
2.2. сдерживающая выходная.