Двойственность устойчивых сетей Петри и маркированных графов

Рассматривается задача преобразования устойчивых сетей Петри в эквивалентные в языковом смысле сети в классе маркированных графов; приводятся необходимые и достаточные условия для такого преобразования. Показывается, что маркированные графы и устойчивые сети Петри представляют собой двойственные способы задания выпуклых в обобщенном смысле множеств векторов срабатываний в пространстве Парика сети Петри.