Выдержка из книги
Питерсон Д.N.
Теория сетей петри и моделирование систем
Заметим, что маркировка ( О, О, 1) пассивная; никакой переход в ней не является разрешенным, поэтому никакие новые маркировки из этой пассивной маркировки в дереве порождаться не будут.
