Outdated Archival Version

These pages are not updated anymore. They reflect the state of 22 June 2005. For the current production of this journal, please refer to http://intlpress.com/HHA/.

On the Homology of Small Categories and Asynchronous Transition Systems

Ahmet A. Husainov

This work is devoted to an interpretation and computation of the first homology groups of the small category given by a rewriting system. It is shown that the elements of the first homology group may be regarded as the equivalence classes of the flows in a graph of the rewriting system. This is applied to calculating the homology groups of asynchronous transition systems and Petri nets. Examples of calculations are given.

Homology, Homotopy and Applications, Vol. 6(2004), No. 1, pp.439-471

http://www.rmi.acnet.ge/hha/volumes/2004/n1a22/v6n1a22.dvi (ps, dvi.gz, ps.gz, pdf)
ftp://ftp.rmi.acnet.ge/pub/hha/volumes/2004/n1a22/v6n1a22.dvi (ps, dvi.gz, ps.gz, pdf)