О-сеть называется К-плотной, если в ней любое li - сечение и любое со-сечение пересекаются ровно ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Котов В.Е. Сети Петри


О-сеть называется К-плотной, если в ней любое li - сечение и любое со-сечение пересекаются ровно по одному элементу. С учетом теоремы 7.1 это означает, что / ( - плотная сеть не содержит ни одной пары непересекающихся li - сечений и со-сечений. Легко убедиться непосредственно, что сеть на рис. 7.2 / ( - плотна.

(cкачать страницу)

Смотреть книгу на libgen

 О-сеть называется К-плотной,  если в ней любое li - сечение и любое со-сечение пересекаются ровно по одному элементу.  С учетом теоремы 7.1 это означает,  что / ( - плотная сеть не содержит ни одной пары непересекающихся li - сечений и со-сечений.  Легко убедиться непосредственно,  что сеть на рис. 7.2 / ( - плотна.