Еще один пример О-сети, которая не является АГ-плотной, показан на рис. 7 4, а. В ... - Большая Энциклопедия Нефти и Газа



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


Еще один пример О-сети, которая не является АГ-плотной, показан на рис. 7 4, а. В этой сети результат несоответствия топологического сетевого параллелизма отношению параллелизма в процессах приводит к тому, что переходу f не соответствует никакого действия. Действительно, поскольку li - сечение ( р, ti p3, f2 Ps / fa не пересекается с со-сече-нием р2, P.

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

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

Еще один пример О-сети,  которая не является АГ-плотной,  показан на рис. 7 4,  а.  В этой сети результат несоответствия топологического сетевого параллелизма отношению параллелизма в процессах приводит к тому,  что переходу f не соответствует никакого действия.  Действительно,  поскольку li - сечение ( р,  ti p3,  f2 Ps / fa не пересекается с со-сече-нием р2,  P.