Двойственной к заданной является сеть Петри, где позиции заменены на переходы, а переходы на позиции:
Инверсная к заданной сеть Петри: Направление дуг меняется на противоположное; входные и выходные функции меняются местами:
Пусть сеть Петри задана аналитически:
C=(P,T,I,O,M)
O
Построить граф сети Петри.