On the Hereditary Properties of Modular Nets
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. I...
Main Author: | |
---|---|
Format: | Article |
Language: | English |
Published: |
Yaroslavl State University
2015-03-01
|
Series: | Моделирование и анализ информационных систем |
Subjects: | |
Online Access: | https://www.mais-journal.ru/jour/article/view/135 |
_version_ | 1797877884797321216 |
---|---|
author | V. A. Bashkin |
author_facet | V. A. Bashkin |
author_sort | V. A. Bashkin |
collection | DOAJ |
description | 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). |
first_indexed | 2024-04-10T02:25:04Z |
format | Article |
id | doaj.art-88c89204082f44a58c6a8d8766f35d86 |
institution | Directory Open Access Journal |
issn | 1818-1015 2313-5417 |
language | English |
last_indexed | 2024-04-10T02:25:04Z |
publishDate | 2015-03-01 |
publisher | Yaroslavl State University |
record_format | Article |
series | Моделирование и анализ информационных систем |
spelling | doaj.art-88c89204082f44a58c6a8d8766f35d862023-03-13T08:07:33ZengYaroslavl State UniversityМоделирование и анализ информационных систем1818-10152313-54172015-03-0119692010.18255/1818-1015-2012-6-9-20129On the Hereditary Properties of Modular NetsV. A. Bashkin0Ярославский государственный университет им. П.Г. Демидова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).https://www.mais-journal.ru/jour/article/view/135cети петриактивные ресурсымодульная верификацияограниченностьживость |
spellingShingle | V. A. Bashkin On the Hereditary Properties of Modular Nets Моделирование и анализ информационных систем cети петри активные ресурсы модульная верификация ограниченность живость |
title | On the Hereditary Properties of Modular Nets |
title_full | On the Hereditary Properties of Modular Nets |
title_fullStr | On the Hereditary Properties of Modular Nets |
title_full_unstemmed | On the Hereditary Properties of Modular Nets |
title_short | On the Hereditary Properties of Modular Nets |
title_sort | on the hereditary properties of modular nets |
topic | cети петри активные ресурсы модульная верификация ограниченность живость |
url | https://www.mais-journal.ru/jour/article/view/135 |
work_keys_str_mv | AT vabashkin onthehereditarypropertiesofmodularnets |