Geodesic
Homology and bisimulation of asynchronous transition systems and Petri nets
Sibirskie èlektronnye matematičeskie izvestiâ, Tome 11 (2014), pp. 863-877

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

Homology groups of labelled asynchronous transition systems and Petri nets are introduced. Examples of computing the homology groups are given. It is proved that if labelled asynchronous transition systems are bisimulation equivalent, then they have isomorphic homology groups. A method of constructing a Petri net with given homology groups is presented.
Keywords: homology groups, simplicial complex, trace monoid, partial action, asynchronous system, Petri net.
Mots-clés : bisimulation 
@article{SEMR_2014_11_a42,
     author = {A. A. Husainov},
     title = {Homology and bisimulation of asynchronous transition systems and {Petri} nets},
     journal = {Sibirskie \`elektronnye matemati\v{c}eskie izvesti\^a},
     pages = {863--877},
     publisher = {mathdoc},
     volume = {11},
     year = {2014},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/SEMR_2014_11_a42/}
}
TY  - JOUR
AU  - A. A. Husainov
TI  - Homology and bisimulation of asynchronous transition systems and Petri nets
JO  - Sibirskie èlektronnye matematičeskie izvestiâ
PY  - 2014
SP  - 863
EP  - 877
VL  - 11
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SEMR_2014_11_a42/
LA  - en
ID  - SEMR_2014_11_a42
ER  - 
%0 Journal Article
%A A. A. Husainov
%T Homology and bisimulation of asynchronous transition systems and Petri nets
%J Sibirskie èlektronnye matematičeskie izvestiâ
%D 2014
%P 863-877
%V 11
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SEMR_2014_11_a42/
%G en
%F SEMR_2014_11_a42
A. A. Husainov. Homology and bisimulation of asynchronous transition systems and Petri nets. Sibirskie èlektronnye matematičeskie izvestiâ, Tome 11 (2014), pp. 863-877. http://geodesic.mathdoc.fr/item/SEMR_2014_11_a42/