Анализ сетей Петри Проблема ограниченности и безопасности сети р неограниченна (М 0 М 1 ) (М 1 М 2 ) (М 1 М 2 ) (М 1 (р) < М 2 (р)). p1p1 t2t2 p3p3 p4p4 t3t3 p2p2 t1t1 Граф сети N3 р 2 неограниченна, т.к. (М 0 =(2000) (М 0 М 1 ) (М 0 (р 2 )=0 < М 1 (р 2 )=1). М 1 =(2100))
Пример Граф сети N 3 Полное покрывающее дерево сети N t1t1 t1t1 t2t2 t3t3 t3t t2t2 p1p1 t2t2 p3p3 p4p4 t3t3 p2p2 t1t1 Граф сети N3