Geodesic
Homology groups of asynchronous systems, Petri nets, and trace languages
Sibirskie èlektronnye matematičeskie izvestiâ, Tome 9 (2012), pp. 13-44

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

The paper is devoted to the homology groups of mathematical models for concurrent systems. It is proved that the homology groups of a set with a trace monoid action is isomorphic to the homology groups of a corresponding semi-cubical set. Homology groups of Petri nets and Mazurkiewicz trace languages are introduced. It is shown that in dimensions $n\geqslant2$, the homology groups of Petri nets and Mazurkiewicz languages can be arbitrary, up to direct summands which are equal to the homology groups of generalized tori. Examples of the computing the homology groups of state spaces and Petri nets are considered. The integral homology groups of some partially ordered sets of traces are investigated.
Keywords: semi-cubical set, homology of small categories, free partially commutative monoid, trace monoid, Petri nets, trace languages.
Mots-clés : asynchronous transition system 
@article{SEMR_2012_9_a17,
     author = {A. A. Khusainov},
     title = {Homology groups of asynchronous systems, {Petri} nets, and trace languages},
     journal = {Sibirskie \`elektronnye matemati\v{c}eskie izvesti\^a},
     pages = {13--44},
     publisher = {mathdoc},
     volume = {9},
     year = {2012},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/SEMR_2012_9_a17/}
}
TY  - JOUR
AU  - A. A. Khusainov
TI  - Homology groups of asynchronous systems, Petri nets, and trace languages
JO  - Sibirskie èlektronnye matematičeskie izvestiâ
PY  - 2012
SP  - 13
EP  - 44
VL  - 9
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SEMR_2012_9_a17/
LA  - ru
ID  - SEMR_2012_9_a17
ER  - 
%0 Journal Article
%A A. A. Khusainov
%T Homology groups of asynchronous systems, Petri nets, and trace languages
%J Sibirskie èlektronnye matematičeskie izvestiâ
%D 2012
%P 13-44
%V 9
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SEMR_2012_9_a17/
%G ru
%F SEMR_2012_9_a17
A. A. Khusainov. Homology groups of asynchronous systems, Petri nets, and trace languages. Sibirskie èlektronnye matematičeskie izvestiâ, Tome 9 (2012), pp. 13-44. http://geodesic.mathdoc.fr/item/SEMR_2012_9_a17/