Geodesic
On the Hereditary Properties of Modular Nets
Modelirovanie i analiz informacionnyh sistem, Tome 19 (2012) no. 6, pp. 9-20

Voir la notice de l'article provenant de la source Math-Net.Ru

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).
Keywords: Petri nets, active resources, modular verification, boundedness, liveness. 
@article{MAIS_2012_19_6_a0,
     author = {V. A. Bashkin},
     title = {On the {Hereditary} {Properties} of {Modular} {Nets}},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {9--20},
     publisher = {mathdoc},
     volume = {19},
     number = {6},
     year = {2012},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2012_19_6_a0/}
}
TY  - JOUR
AU  - V. A. Bashkin
TI  - On the Hereditary Properties of Modular Nets
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2012
SP  - 9
EP  - 20
VL  - 19
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2012_19_6_a0/
LA  - ru
ID  - MAIS_2012_19_6_a0
ER  - 
%0 Journal Article
%A V. A. Bashkin
%T On the Hereditary Properties of Modular Nets
%J Modelirovanie i analiz informacionnyh sistem
%D 2012
%P 9-20
%V 19
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2012_19_6_a0/
%G ru
%F MAIS_2012_19_6_a0
V. A. Bashkin. On the Hereditary Properties of Modular Nets. Modelirovanie i analiz informacionnyh sistem, Tome 19 (2012) no. 6, pp. 9-20. http://geodesic.mathdoc.fr/item/MAIS_2012_19_6_a0/