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...
Saved in:
| 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 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1839573218995732480 |
|---|---|
| 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). |
| format | Article |
| id | doaj-art-88c89204082f44a58c6a8d8766f35d86 |
| institution | Matheson Library |
| issn | 1818-1015 2313-5417 |
| language | English |
| publishDate | 2015-03-01 |
| publisher | Yaroslavl State University |
| record_format | Article |
| series | Моделирование и анализ информационных систем |
| spelling | doaj-art-88c89204082f44a58c6a8d8766f35d862025-08-04T14:06:41ZengYaroslavl State UniversityМоделирование и анализ информационных систем1818-10152313-54172015-03-0119692010.18255/1818-1015-2012-6-9-20129On the Hereditary Properties of Modular NetsV. A. Bashkin0P.G. Demidov Yaroslavl State UniversityHereditary 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/135petri netsactive resourcesmodular verificationboundednessliveness |
| spellingShingle | V. A. Bashkin On the Hereditary Properties of Modular Nets Моделирование и анализ информационных систем petri nets active resources modular verification boundedness liveness |
| 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 | petri nets active resources modular verification boundedness liveness |
| url | https://www.mais-journal.ru/jour/article/view/135 |
| work_keys_str_mv | AT vabashkin onthehereditarypropertiesofmodularnets |