The Homology Groups of a Partial Trace Monoid Action (1111.0854v1)

Abstract: The aim of this paper is to investigate the homology groups of mathematical models of concurrency. We study the Baues-Wirsching homology groups of a small category associated with a partial monoid action on a set. We prove that these groups can be reduced to the Leech homology groups of the monoid. For a trace monoid with an action on a set, we will build a cubical complex of free Abelian groups with homology groups isomorphic to the integral homology groups of the action category. It allows us to solve the problem posed by the author in 2004 of the constructing an algorithm for computing homology groups of the CE nets. We describe the algorithm and give examples of calculating the homology groups.