Abstract
Hereditary graph properties are those that can be inherited from the graph to all its subgraphs (such as planarity). Modular nets of active resources is a (Petri nets)- powerful formalism with simple modular syntax. Boundedness and liveness are fundamental semantic properties for Petri net models. It is shown that boundedness and liveness, being not hereditary in general, are downward-hereditary (net-to-subnet) and upward-hereditary (subnet-to-net) for the particular types of AR-subnets. It is also shown that boundedness is downward-hereditary and unboundedness is upward-hereditary for arbitrary subnets after a specific module interface transformation (so-called R-normalization).
Highlights
Сети Петри [12] определяют класс систем с бесконечным множеством состояний, строго менее мощный, чем машины Тьюринга
К сожалению, все известные алгоритмы для этих проблем экспоненциальны по памяти
Основное отличие нашего подхода состоит в том, что в качестве межмодульного интерфейса рассматривается не множество каких-то общих элементов, а набор связей между узлами двух соединяемых модулей (т.е. набор дуг, пересекающих “периметр”)
Summary
Сети Петри [12] определяют класс систем с бесконечным множеством состояний, строго менее мощный, чем машины Тьюринга. Сети Петри достаточно выразительны и, как следствие, не вполне анализируемы. С другой стороны, для сети Петри разрешимы проблемы останова (терминации), достижимости, ограниченности и некоторые другие. Определение сети активных ресурсов (АР-сети) [1] является своего рода дуализированным определением сети Петри. АР-сети хорошо подходят для моделирования систем с явным определением агента [2]. Модуль определяется тривиально как подсеть, заданная некоторым подмножеством узлов исходной сети. Модуль может иметь четыре типа связей: вход, выход, производство и потребление. Синтаксически модуль с инцидентными связями можно рассматривать как узел с инцидентными дугами это обобщение является вполне естественным и не влияет на “однородность” графа сети. Ограниченность является наследственным свойством для так называемых Р-нормализованных модулей со специфически трансформированным интерфейсом. В разделе 2 приведены основные определения и обозначения для сетей активных ресурсов. Раздел 5 содержит некоторые выводы и направления возможных дальнейших исследований
Sign-in/Register to view highlights & summary Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
